[INFO] cloning repository https://github.com/akitsu-sanae/dtmsc
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/akitsu-sanae/dtmsc" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fakitsu-sanae%2Fdtmsc", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fakitsu-sanae%2Fdtmsc'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 95b69bf9ebe17a161ea37dd373f495020d4525a3
[INFO] checking akitsu-sanae/dtmsc against try#f4690f24e7d9bcb0b168a02b06dd61391e8bd55a for pr-157814-crater-rollup
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fakitsu-sanae%2Fdtmsc" "/workspace/builds/worker-7-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-7-tc2/source'...
[INFO] [stderr] done.
[INFO] started tweaking git repo https://github.com/akitsu-sanae/dtmsc
[INFO] finished tweaking git repo https://github.com/akitsu-sanae/dtmsc
[INFO] tweaked toml for git repo https://github.com/akitsu-sanae/dtmsc written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] validating manifest of git repo https://github.com/akitsu-sanae/dtmsc on toolchain f4690f24e7d9bcb0b168a02b06dd61391e8bd55a
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f4690f24e7d9bcb0b168a02b06dd61391e8bd55a" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate git repo https://github.com/akitsu-sanae/dtmsc already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+f4690f24e7d9bcb0b168a02b06dd61391e8bd55a" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-m" "1610612736" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:7cf07dcec6eec8f91d8fcff9552b5c74122c05467aaf1800be6da9d6f61e2ab2" "sleep" "infinity", kill_on_drop: false }`
[INFO] [stdout] 723e173ba27570f6f230aa1172b458339cd1afa7c387b2f5a3fcb1b431ae5bfe
[INFO] running `Command { std: "docker" "start" "723e173ba27570f6f230aa1172b458339cd1afa7c387b2f5a3fcb1b431ae5bfe", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-w" "/opt/rustwide/workdir" "--user" "0:0" "723e173ba27570f6f230aa1172b458339cd1afa7c387b2f5a3fcb1b431ae5bfe" "/opt/rustwide/cargo-home/bin/cargo" "+f4690f24e7d9bcb0b168a02b06dd61391e8bd55a" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "723e173ba27570f6f230aa1172b458339cd1afa7c387b2f5a3fcb1b431ae5bfe", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "exec" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-w" "/opt/rustwide/workdir" "--user" "0:0" "723e173ba27570f6f230aa1172b458339cd1afa7c387b2f5a3fcb1b431ae5bfe" "/opt/rustwide/cargo-home/bin/cargo" "+f4690f24e7d9bcb0b168a02b06dd61391e8bd55a" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.8
[INFO] [stderr]    Compiling unicode-xid v0.2.0
[INFO] [stderr]    Compiling peg-runtime v0.6.1
[INFO] [stderr]    Compiling quote v1.0.2
[INFO] [stderr]    Compiling peg-macros v0.6.1
[INFO] [stderr]     Checking peg v0.6.1
[INFO] [stderr]     Checking dtmsc v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> src/main.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_patterns)]
[INFO] [stdout]   |            ^^^^^^^^^^^^ feature has been removed
[INFO] [stdout]   |
[INFO] [stdout]   = note: removed in CURRENT_RUSTC_VERSION
[INFO] [stdout]   = note: superseded by `deref_patterns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/printer.rs:43:37
[INFO] [stdout]    |
[INFO] [stdout] 43 |             Lam(TermVar(ref ident), box ref ty, box ref t) => write!(
[INFO] [stdout]    |                                     ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/printer.rs:43:49
[INFO] [stdout]    |
[INFO] [stdout] 43 |             Lam(TermVar(ref ident), box ref ty, box ref t) => write!(
[INFO] [stdout]    |                                                 ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/printer.rs:52:17
[INFO] [stdout]    |
[INFO] [stdout] 52 |             App(box ref t1, box ref t2) => write!(
[INFO] [stdout]    |                 ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/printer.rs:52:29
[INFO] [stdout]    |
[INFO] [stdout] 52 |             App(box ref t1, box ref t2) => write!(
[INFO] [stdout]    |                             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/printer.rs:58:39
[INFO] [stdout]    |
[INFO] [stdout] 58 |             Code(StageVar(ref ident), box ref t) => {
[INFO] [stdout]    |                                       ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/printer.rs:61:41
[INFO] [stdout]    |
[INFO] [stdout] 61 |             Escape(StageVar(ref ident), box ref t) => {
[INFO] [stdout]    |                                         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/printer.rs:64:43
[INFO] [stdout]    |
[INFO] [stdout] 64 |             StageLam(StageVar(ref ident), box ref t) => write!(
[INFO] [stdout]    |                                           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/printer.rs:72:22
[INFO] [stdout]    |
[INFO] [stdout] 72 |             StageApp(box ref t, ref stage) => {
[INFO] [stdout]    |                      ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/printer.rs:83:38
[INFO] [stdout]    |
[INFO] [stdout] 83 |             CSP(StageVar(ref ident), box ref t) => write!(f, "(%{}. {})", ident, t),
[INFO] [stdout]    |                                      ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/printer.rs:85:33
[INFO] [stdout]    |
[INFO] [stdout] 85 |             Let(TermVar(ref x), box ref ty, box ref t1, box ref t2) => write!(
[INFO] [stdout]    |                                 ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/printer.rs:85:45
[INFO] [stdout]    |
[INFO] [stdout] 85 |             Let(TermVar(ref x), box ref ty, box ref t1, box ref t2) => write!(
[INFO] [stdout]    |                                             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/printer.rs:85:57
[INFO] [stdout]    |
[INFO] [stdout] 85 |             Let(TermVar(ref x), box ref ty, box ref t1, box ref t2) => write!(
[INFO] [stdout]    |                                                         ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/printer.rs:95:33
[INFO] [stdout]    |
[INFO] [stdout] 95 |             Fix(TermVar(ref x), box ref ty, box ref t) => write!(
[INFO] [stdout]    |                                 ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/printer.rs:95:45
[INFO] [stdout]    |
[INFO] [stdout] 95 |             Fix(TermVar(ref x), box ref ty, box ref t) => write!(
[INFO] [stdout]    |                                             ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/ast/printer.rs:104:17
[INFO] [stdout]     |
[INFO] [stdout] 104 |             Ifz(box ref cond, box ref t1, box ref t2) => write!(
[INFO] [stdout]     |                 ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/ast/printer.rs:104:31
[INFO] [stdout]     |
[INFO] [stdout] 104 |             Ifz(box ref cond, box ref t1, box ref t2) => write!(
[INFO] [stdout]     |                               ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/ast/printer.rs:104:43
[INFO] [stdout]     |
[INFO] [stdout] 104 |             Ifz(box ref cond, box ref t1, box ref t2) => write!(
[INFO] [stdout]     |                                           ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/ast/printer.rs:129:40
[INFO] [stdout]     |
[INFO] [stdout] 129 |             DepFun(TermVar(ref ident), box ref ty1, box ref ty2) => {
[INFO] [stdout]     |                                        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/ast/printer.rs:129:53
[INFO] [stdout]     |
[INFO] [stdout] 129 |             DepFun(TermVar(ref ident), box ref ty1, box ref ty2) => {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/ast/printer.rs:136:17
[INFO] [stdout]     |
[INFO] [stdout] 136 |             App(box ref ty, box ref t) => write!(f, "{} {}", ty, t),
[INFO] [stdout]     |                 ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/ast/printer.rs:136:29
[INFO] [stdout]     |
[INFO] [stdout] 136 |             App(box ref ty, box ref t) => write!(f, "{} {}", ty, t),
[INFO] [stdout]     |                             ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/ast/printer.rs:137:39
[INFO] [stdout]     |
[INFO] [stdout] 137 |             Code(StageVar(ref ident), box ref ty) => write!(f, "|>{}. {}", ident, ty),
[INFO] [stdout]     |                                       ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/ast/printer.rs:138:44
[INFO] [stdout]     |
[INFO] [stdout] 138 |             StageBind(StageVar(ref ident), box ref ty) => write!(f, "forall {}. {}", ident, ty),
[INFO] [stdout]     |                                            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]  --> src/ast/subst.rs:7:27
[INFO] [stdout]   |
[INFO] [stdout] 7 |             Term::Lam(x_, box ty, box t_) if x != x_ => Term::Lam(
[INFO] [stdout]   |                           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]  --> src/ast/subst.rs:7:35
[INFO] [stdout]   |
[INFO] [stdout] 7 |             Term::Lam(x_, box ty, box t_) if x != x_ => Term::Lam(
[INFO] [stdout]   |                                   ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:12:23
[INFO] [stdout]    |
[INFO] [stdout] 12 |             Term::App(box t1, box t2) => Term::App(
[INFO] [stdout]    |                       ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:12:31
[INFO] [stdout]    |
[INFO] [stdout] 12 |             Term::App(box t1, box t2) => Term::App(
[INFO] [stdout]    |                               ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:16:35
[INFO] [stdout]    |
[INFO] [stdout] 16 |             Term::Code(stage_var, box t_) => Term::Code(stage_var, Box::new(t_.subst_term(x, t))),
[INFO] [stdout]    |                                   ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:17:37
[INFO] [stdout]    |
[INFO] [stdout] 17 |             Term::Escape(stage_var, box t_) => {
[INFO] [stdout]    |                                     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:20:39
[INFO] [stdout]    |
[INFO] [stdout] 20 |             Term::StageLam(stage_var, box t_) => {
[INFO] [stdout]    |                                       ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:23:28
[INFO] [stdout]    |
[INFO] [stdout] 23 |             Term::StageApp(box t_, stage) => Term::StageApp(Box::new(t_.subst_term(x, t)), stage),
[INFO] [stdout]    |                            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:24:34
[INFO] [stdout]    |
[INFO] [stdout] 24 |             Term::CSP(stage_var, box t_) => Term::CSP(stage_var, Box::new(t_.subst_term(x, t))),
[INFO] [stdout]    |                                  ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:32:20
[INFO] [stdout]    |
[INFO] [stdout] 32 |             Lam(x, box ty, box t) => Lam(x, Box::new(ty), Box::new(t.subst_stage(a, stage))),
[INFO] [stdout]    |                    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:32:28
[INFO] [stdout]    |
[INFO] [stdout] 32 |             Lam(x, box ty, box t) => Lam(x, Box::new(ty), Box::new(t.subst_stage(a, stage))),
[INFO] [stdout]    |                            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:33:17
[INFO] [stdout]    |
[INFO] [stdout] 33 |             App(box t1, box t2) => App(
[INFO] [stdout]    |                 ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:33:25
[INFO] [stdout]    |
[INFO] [stdout] 33 |             App(box t1, box t2) => App(
[INFO] [stdout]    |                         ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:37:29
[INFO] [stdout]    |
[INFO] [stdout] 37 |             Code(stage_var, box t) if stage_var == a => {
[INFO] [stdout]    |                             ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:44:29
[INFO] [stdout]    |
[INFO] [stdout] 44 |             Code(stage_var, box t) => Code(stage_var, Box::new(t.subst_stage(a, stage))),
[INFO] [stdout]    |                             ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:45:31
[INFO] [stdout]    |
[INFO] [stdout] 45 |             Escape(stage_var, box t) if stage_var == a => {
[INFO] [stdout]    |                               ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:51:31
[INFO] [stdout]    |
[INFO] [stdout] 51 |             Escape(stage_var, box t) => Escape(stage_var, Box::new(t.subst_stage(a, stage))),
[INFO] [stdout]    |                               ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:52:33
[INFO] [stdout]    |
[INFO] [stdout] 52 |             StageLam(stage_var, box t_) if stage_var != a => {
[INFO] [stdout]    |                                 ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:55:22
[INFO] [stdout]    |
[INFO] [stdout] 55 |             StageApp(box t, stage_) => StageApp(Box::new(t.subst_stage(a, stage)), stage_),
[INFO] [stdout]    |                      ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:56:28
[INFO] [stdout]    |
[INFO] [stdout] 56 |             CSP(stage_var, box t) if stage_var == a => {
[INFO] [stdout]    |                            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:62:28
[INFO] [stdout]    |
[INFO] [stdout] 62 |             CSP(stage_var, box t) => CSP(stage_var, Box::new(t.subst_stage(a, stage))),
[INFO] [stdout]    |                            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:74:24
[INFO] [stdout]    |
[INFO] [stdout] 74 |             DepFun(x_, box ty1, box ty2) if x != x_ => DepFun(
[INFO] [stdout]    |                        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:74:33
[INFO] [stdout]    |
[INFO] [stdout] 74 |             DepFun(x_, box ty1, box ty2) if x != x_ => DepFun(
[INFO] [stdout]    |                                 ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:79:24
[INFO] [stdout]    |
[INFO] [stdout] 79 |             DepFun(x_, box ty1, box ty2) => {
[INFO] [stdout]    |                        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:79:33
[INFO] [stdout]    |
[INFO] [stdout] 79 |             DepFun(x_, box ty1, box ty2) => {
[INFO] [stdout]    |                                 ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:82:17
[INFO] [stdout]    |
[INFO] [stdout] 82 |             App(box ty, box arg) => App(
[INFO] [stdout]    |                 ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:82:25
[INFO] [stdout]    |
[INFO] [stdout] 82 |             App(box ty, box arg) => App(
[INFO] [stdout]    |                         ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:86:25
[INFO] [stdout]    |
[INFO] [stdout] 86 |             Code(alpha, box ty) => Code(alpha, Box::new(ty.subst_term(x, t))),
[INFO] [stdout]    |                         ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:87:30
[INFO] [stdout]    |
[INFO] [stdout] 87 |             StageBind(alpha, box ty) => StageBind(alpha, Box::new(ty.subst_term(x, t))),
[INFO] [stdout]    |                              ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:96:24
[INFO] [stdout]    |
[INFO] [stdout] 96 |             DepFun(x_, box ty1, box ty2) => DepFun(
[INFO] [stdout]    |                        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:96:33
[INFO] [stdout]    |
[INFO] [stdout] 96 |             DepFun(x_, box ty1, box ty2) => DepFun(
[INFO] [stdout]    |                                 ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/ast/subst.rs:101:17
[INFO] [stdout]     |
[INFO] [stdout] 101 |             App(box ty, box arg) => App(
[INFO] [stdout]     |                 ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/ast/subst.rs:101:25
[INFO] [stdout]     |
[INFO] [stdout] 101 |             App(box ty, box arg) => App(
[INFO] [stdout]     |                         ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/ast/subst.rs:105:26
[INFO] [stdout]     |
[INFO] [stdout] 105 |             Code(alpha_, box ty) if alpha == alpha_ => {
[INFO] [stdout]     |                          ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/ast/subst.rs:112:25
[INFO] [stdout]     |
[INFO] [stdout] 112 |             Code(alpha, box ty) => Code(alpha.clone(), Box::new(ty.subst_stage(alpha, stage))),
[INFO] [stdout]     |                         ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/ast/subst.rs:113:30
[INFO] [stdout]     |
[INFO] [stdout] 113 |             StageBind(alpha, box ty) => {
[INFO] [stdout]     |                              ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/util.rs:23:33
[INFO] [stdout]    |
[INFO] [stdout] 23 |                 Code(ref alpha, box ref v) => v.is_value_at(&vec![alpha.clone()]),
[INFO] [stdout]    |                                 ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/util.rs:24:29
[INFO] [stdout]    |
[INFO] [stdout] 24 |                 StageLam(_, box ref v) => v.is_value_at(&vec![]),
[INFO] [stdout]    |                             ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/util.rs:30:27
[INFO] [stdout]    |
[INFO] [stdout] 30 |                 Lam(_, _, box ref v) => v.is_value_at(stage),
[INFO] [stdout]    |                           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/util.rs:31:21
[INFO] [stdout]    |
[INFO] [stdout] 31 |                 App(box ref v1, box ref v2) => v1.is_value_at(stage) && v2.is_value_at(stage),
[INFO] [stdout]    |                     ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/util.rs:31:33
[INFO] [stdout]    |
[INFO] [stdout] 31 |                 App(box ref v1, box ref v2) => v1.is_value_at(stage) && v2.is_value_at(stage),
[INFO] [stdout]    |                                 ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/util.rs:32:33
[INFO] [stdout]    |
[INFO] [stdout] 32 |                 Code(ref alpha, box ref v) => {
[INFO] [stdout]    |                                 ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/util.rs:37:29
[INFO] [stdout]    |
[INFO] [stdout] 37 |                 StageLam(_, box ref v) => v.is_value_at(stage),
[INFO] [stdout]    |                             ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/util.rs:38:26
[INFO] [stdout]    |
[INFO] [stdout] 38 |                 StageApp(box ref v, _) => v.is_value_at(stage),
[INFO] [stdout]    |                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/util.rs:39:35
[INFO] [stdout]    |
[INFO] [stdout] 39 |                 Escape(ref alpha, box ref v) if stage.len() != 1 => {
[INFO] [stdout]    |                                   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/util.rs:47:32
[INFO] [stdout]    |
[INFO] [stdout] 47 |                 CSP(ref alpha, box ref v) => {
[INFO] [stdout]    |                                ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]  --> src/reduce.rs:9:21
[INFO] [stdout]   |
[INFO] [stdout] 9 |                 App(box Lam(x, _, t), box v) if v.is_value_at(&vec![]) => Ok(t.subst_term(x, v)),
[INFO] [stdout]   |                     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]  --> src/reduce.rs:9:39
[INFO] [stdout]   |
[INFO] [stdout] 9 |                 App(box Lam(x, _, t), box v) if v.is_value_at(&vec![]) => Ok(t.subst_term(x, v)),
[INFO] [stdout]   |                                       ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:10:46
[INFO] [stdout]    |
[INFO] [stdout] 10 |                 StageApp(box StageLam(alpha, box v), stage) if v.is_value_at(&vec![]) => {
[INFO] [stdout]    |                                              ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:10:26
[INFO] [stdout]    |
[INFO] [stdout] 10 |                 StageApp(box StageLam(alpha, box v), stage) if v.is_value_at(&vec![]) => {
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:13:57
[INFO] [stdout]    |
[INFO] [stdout] 13 |                 Escape(stage_var1, box Code(stage_var2, box v))
[INFO] [stdout]    |                                                         ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:13:36
[INFO] [stdout]    |
[INFO] [stdout] 13 |                 Escape(stage_var1, box Code(stage_var2, box v))
[INFO] [stdout]    |                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:37:25
[INFO] [stdout]    |
[INFO] [stdout] 37 |                 box App(box Const(op), box Const(Literal::Int(n1))),
[INFO] [stdout]    |                         ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:37:40
[INFO] [stdout]    |
[INFO] [stdout] 37 |                 box App(box Const(op), box Const(Literal::Int(n1))),
[INFO] [stdout]    |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:37:17
[INFO] [stdout]    |
[INFO] [stdout] 37 |                 box App(box Const(op), box Const(Literal::Int(n1))),
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:38:17
[INFO] [stdout]    |
[INFO] [stdout] 38 |                 box Const(Literal::Int(n2)),
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:47:17
[INFO] [stdout]    |
[INFO] [stdout] 47 |             App(box t1, box t2) if !t1.is_value_at(&vec![]) => Ok(App(
[INFO] [stdout]    |                 ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:47:25
[INFO] [stdout]    |
[INFO] [stdout] 47 |             App(box t1, box t2) if !t1.is_value_at(&vec![]) => Ok(App(
[INFO] [stdout]    |                         ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:51:17
[INFO] [stdout]    |
[INFO] [stdout] 51 |             App(box v, box t) if v.is_value_at(&vec![]) && !t.is_value_at(&vec![]) => Ok(App(
[INFO] [stdout]    |                 ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:51:24
[INFO] [stdout]    |
[INFO] [stdout] 51 |             App(box v, box t) if v.is_value_at(&vec![]) && !t.is_value_at(&vec![]) => Ok(App(
[INFO] [stdout]    |                        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:55:17
[INFO] [stdout]    |
[INFO] [stdout] 55 |             App(box v1, box v2) if v1.is_value_at(&vec![]) && v2.is_value_at(&vec![]) => {
[INFO] [stdout]    |                 ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:55:25
[INFO] [stdout]    |
[INFO] [stdout] 55 |             App(box v1, box v2) if v1.is_value_at(&vec![]) && v2.is_value_at(&vec![]) => {
[INFO] [stdout]    |                         ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:58:25
[INFO] [stdout]    |
[INFO] [stdout] 58 |             Code(alpha, box t) if !t.is_value_at(&vec![alpha.clone()]) => Ok(Code(
[INFO] [stdout]    |                         ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:62:29
[INFO] [stdout]    |
[INFO] [stdout] 62 |             StageLam(alpha, box t) if !t.is_value_at(&vec![]) => {
[INFO] [stdout]    |                             ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:65:22
[INFO] [stdout]    |
[INFO] [stdout] 65 |             StageApp(box t, stage) if !t.is_value_at(&vec![]) => {
[INFO] [stdout]    |                      ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:68:42
[INFO] [stdout]    |
[INFO] [stdout] 68 |             StageApp(box StageLam(alpha, box t), stage) => {
[INFO] [stdout]    |                                          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:68:22
[INFO] [stdout]    |
[INFO] [stdout] 68 |             StageApp(box StageLam(alpha, box t), stage) => {
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:72:20
[INFO] [stdout]    |
[INFO] [stdout] 72 |             Let(x, box ty, box t1, box t2) => reduce_context(
[INFO] [stdout]    |                    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:72:28
[INFO] [stdout]    |
[INFO] [stdout] 72 |             Let(x, box ty, box t1, box t2) => reduce_context(
[INFO] [stdout]    |                            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:72:36
[INFO] [stdout]    |
[INFO] [stdout] 72 |             Let(x, box ty, box t1, box t2) => reduce_context(
[INFO] [stdout]    |                                    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:77:20
[INFO] [stdout]    |
[INFO] [stdout] 77 |             Fix(x, box ty, box t) => {
[INFO] [stdout]    |                    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:77:28
[INFO] [stdout]    |
[INFO] [stdout] 77 |             Fix(x, box ty, box t) => {
[INFO] [stdout]    |                            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:81:17
[INFO] [stdout]    |
[INFO] [stdout] 81 |             Ifz(box cond, box t1, box t2) if cond.is_value_at(&vec![]) => {
[INFO] [stdout]    |                 ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:81:27
[INFO] [stdout]    |
[INFO] [stdout] 81 |             Ifz(box cond, box t1, box t2) if cond.is_value_at(&vec![]) => {
[INFO] [stdout]    |                           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:81:35
[INFO] [stdout]    |
[INFO] [stdout] 81 |             Ifz(box cond, box t1, box t2) if cond.is_value_at(&vec![]) => {
[INFO] [stdout]    |                                   ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:92:17
[INFO] [stdout]    |
[INFO] [stdout] 92 |             Ifz(box cond, box t1, box t2) => Ok(Ifz(
[INFO] [stdout]    |                 ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:92:27
[INFO] [stdout]    |
[INFO] [stdout] 92 |             Ifz(box cond, box t1, box t2) => Ok(Ifz(
[INFO] [stdout]    |                           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:92:35
[INFO] [stdout]    |
[INFO] [stdout] 92 |             Ifz(box cond, box t1, box t2) => Ok(Ifz(
[INFO] [stdout]    |                                   ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:121:24
[INFO] [stdout]     |
[INFO] [stdout] 121 |             Lam(x, ty, box t) if !t.is_value_at(stage) => {
[INFO] [stdout]     |                        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:124:17
[INFO] [stdout]     |
[INFO] [stdout] 124 |             App(box t1, box t2) if !t1.is_value_at(stage) => Ok(App(
[INFO] [stdout]     |                 ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:124:25
[INFO] [stdout]     |
[INFO] [stdout] 124 |             App(box t1, box t2) if !t1.is_value_at(stage) => Ok(App(
[INFO] [stdout]     |                         ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:128:17
[INFO] [stdout]     |
[INFO] [stdout] 128 |             App(box v, box t) if v.is_value_at(stage) && !t.is_value_at(stage) => {
[INFO] [stdout]     |                 ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:128:24
[INFO] [stdout]     |
[INFO] [stdout] 128 |             App(box v, box t) if v.is_value_at(stage) && !t.is_value_at(stage) => {
[INFO] [stdout]     |                        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:131:17
[INFO] [stdout]     |
[INFO] [stdout] 131 |             App(box v1, box v2) if v1.is_value_at(stage) && v2.is_value_at(stage) => {
[INFO] [stdout]     |                 ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:131:25
[INFO] [stdout]     |
[INFO] [stdout] 131 |             App(box v1, box v2) if v1.is_value_at(stage) && v2.is_value_at(stage) => {
[INFO] [stdout]     |                         ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:134:44
[INFO] [stdout]     |
[INFO] [stdout] 134 |             Escape(alpha, box Code(alpha_, box v))
[INFO] [stdout]     |                                            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:134:27
[INFO] [stdout]     |
[INFO] [stdout] 134 |             Escape(alpha, box Code(alpha_, box v))
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:139:25
[INFO] [stdout]     |
[INFO] [stdout] 139 |             Code(alpha, box t) => {
[INFO] [stdout]     |                         ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:148:27
[INFO] [stdout]     |
[INFO] [stdout] 148 |             Escape(alpha, box t) => {
[INFO] [stdout]     |                           ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:160:29
[INFO] [stdout]     |
[INFO] [stdout] 160 |             StageLam(alpha, box t) if !t.is_value_at(stage) => {
[INFO] [stdout]     |                             ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:163:22
[INFO] [stdout]     |
[INFO] [stdout] 163 |             StageApp(box t, stage) if !t.is_value_at(&stage) => {
[INFO] [stdout]     |                      ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:166:42
[INFO] [stdout]     |
[INFO] [stdout] 166 |             StageApp(box StageLam(alpha, box t), stage) => {
[INFO] [stdout]     |                                          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:166:22
[INFO] [stdout]     |
[INFO] [stdout] 166 |             StageApp(box StageLam(alpha, box t), stage) => {
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:169:24
[INFO] [stdout]     |
[INFO] [stdout] 169 |             CSP(alpha, box t) => {
[INFO] [stdout]     |                        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:182:20
[INFO] [stdout]     |
[INFO] [stdout] 182 |             Let(x, box ty, box t1, box t2) => reduce_context(
[INFO] [stdout]     |                    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:182:28
[INFO] [stdout]     |
[INFO] [stdout] 182 |             Let(x, box ty, box t1, box t2) => reduce_context(
[INFO] [stdout]     |                            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:182:36
[INFO] [stdout]     |
[INFO] [stdout] 182 |             Let(x, box ty, box t1, box t2) => reduce_context(
[INFO] [stdout]     |                                    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:187:20
[INFO] [stdout]     |
[INFO] [stdout] 187 |             Fix(x, box ty, box t) => {
[INFO] [stdout]     |                    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:187:28
[INFO] [stdout]     |
[INFO] [stdout] 187 |             Fix(x, box ty, box t) => {
[INFO] [stdout]     |                            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:191:17
[INFO] [stdout]     |
[INFO] [stdout] 191 |             Ifz(box cond, box t1, box t2) if cond.is_value_at(stage) => {
[INFO] [stdout]     |                 ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:191:27
[INFO] [stdout]     |
[INFO] [stdout] 191 |             Ifz(box cond, box t1, box t2) if cond.is_value_at(stage) => {
[INFO] [stdout]     |                           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:191:35
[INFO] [stdout]     |
[INFO] [stdout] 191 |             Ifz(box cond, box t1, box t2) if cond.is_value_at(stage) => {
[INFO] [stdout]     |                                   ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:202:17
[INFO] [stdout]     |
[INFO] [stdout] 202 |             Ifz(box cond, box t1, box t2) => Ok(Ifz(
[INFO] [stdout]     |                 ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:202:27
[INFO] [stdout]     |
[INFO] [stdout] 202 |             Ifz(box cond, box t1, box t2) => Ok(Ifz(
[INFO] [stdout]     |                           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:202:35
[INFO] [stdout]     |
[INFO] [stdout] 202 |             Ifz(box cond, box t1, box t2) => Ok(Ifz(
[INFO] [stdout]     |                                   ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/type_check.rs:83:22
[INFO] [stdout]    |
[INFO] [stdout] 83 |         Lam(ref var, box ref arg_ty, box ref t) => {
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/type_check.rs:83:38
[INFO] [stdout]    |
[INFO] [stdout] 83 |         Lam(ref var, box ref arg_ty, box ref t) => {
[INFO] [stdout]    |                                      ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/type_check.rs:93:13
[INFO] [stdout]    |
[INFO] [stdout] 93 |         App(box ref t1, box ref t2) => {
[INFO] [stdout]    |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/type_check.rs:93:25
[INFO] [stdout]    |
[INFO] [stdout] 93 |         App(box ref t1, box ref t2) => {
[INFO] [stdout]    |                         ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/type_check.rs:95:40
[INFO] [stdout]    |
[INFO] [stdout] 95 |             if let Type::DepFun(ref x, box ref param_ty, box ref body_ty) = ty {
[INFO] [stdout]    |                                        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/type_check.rs:95:58
[INFO] [stdout]    |
[INFO] [stdout] 95 |             if let Type::DepFun(ref x, box ref param_ty, box ref body_ty) = ty {
[INFO] [stdout]    |                                                          ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/type_check.rs:116:25
[INFO] [stdout]     |
[INFO] [stdout] 116 |         Code(ref alpha, box ref t) => {
[INFO] [stdout]     |                         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/type_check.rs:122:27
[INFO] [stdout]     |
[INFO] [stdout] 122 |         Escape(ref alpha, box ref t) => {
[INFO] [stdout]     |                           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/type_check.rs:127:47
[INFO] [stdout]     |
[INFO] [stdout] 127 |                     if let Type::Code(alpha_, box ty) = ty {
[INFO] [stdout]     |                                               ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/type_check.rs:143:29
[INFO] [stdout]     |
[INFO] [stdout] 143 |         StageLam(ref alpha, box ref t) => {
[INFO] [stdout]     |                             ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/type_check.rs:147:18
[INFO] [stdout]     |
[INFO] [stdout] 147 |         StageApp(box ref t, ref stage_) => {
[INFO] [stdout]     |                  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/type_check.rs:156:24
[INFO] [stdout]     |
[INFO] [stdout] 156 |         CSP(ref alpha, box ref t) => {
[INFO] [stdout]     |                        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/type_check.rs:169:20
[INFO] [stdout]     |
[INFO] [stdout] 169 |         Let(ref x, box ref ty, box ref t1, box ref t2) => type_check_impl(
[INFO] [stdout]     |                    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/type_check.rs:169:32
[INFO] [stdout]     |
[INFO] [stdout] 169 |         Let(ref x, box ref ty, box ref t1, box ref t2) => type_check_impl(
[INFO] [stdout]     |                                ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/type_check.rs:169:44
[INFO] [stdout]     |
[INFO] [stdout] 169 |         Let(ref x, box ref ty, box ref t1, box ref t2) => type_check_impl(
[INFO] [stdout]     |                                            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/type_check.rs:178:20
[INFO] [stdout]     |
[INFO] [stdout] 178 |         Fix(ref x, box ref ty, box ref t) => {
[INFO] [stdout]     |                    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/type_check.rs:178:32
[INFO] [stdout]     |
[INFO] [stdout] 178 |         Fix(ref x, box ref ty, box ref t) => {
[INFO] [stdout]     |                                ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/type_check.rs:188:13
[INFO] [stdout]     |
[INFO] [stdout] 188 |         Ifz(box ref cond, box ref t1, box ref t2) => {
[INFO] [stdout]     |             ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/type_check.rs:188:27
[INFO] [stdout]     |
[INFO] [stdout] 188 |         Ifz(box ref cond, box ref t1, box ref t2) => {
[INFO] [stdout]     |                           ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/type_check.rs:188:39
[INFO] [stdout]     |
[INFO] [stdout] 188 |         Ifz(box ref cond, box ref t1, box ref t2) => {
[INFO] [stdout]     |                                       ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0557]: feature has been removed
[INFO] [stdout]  --> src/main.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(box_patterns)]
[INFO] [stdout]   |            ^^^^^^^^^^^^ feature has been removed
[INFO] [stdout]   |
[INFO] [stdout]   = note: removed in CURRENT_RUSTC_VERSION
[INFO] [stdout]   = note: superseded by `deref_patterns`
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/printer.rs:43:37
[INFO] [stdout]    |
[INFO] [stdout] 43 |             Lam(TermVar(ref ident), box ref ty, box ref t) => write!(
[INFO] [stdout]    |                                     ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/printer.rs:43:49
[INFO] [stdout]    |
[INFO] [stdout] 43 |             Lam(TermVar(ref ident), box ref ty, box ref t) => write!(
[INFO] [stdout]    |                                                 ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/printer.rs:52:17
[INFO] [stdout]    |
[INFO] [stdout] 52 |             App(box ref t1, box ref t2) => write!(
[INFO] [stdout]    |                 ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/printer.rs:52:29
[INFO] [stdout]    |
[INFO] [stdout] 52 |             App(box ref t1, box ref t2) => write!(
[INFO] [stdout]    |                             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/printer.rs:58:39
[INFO] [stdout]    |
[INFO] [stdout] 58 |             Code(StageVar(ref ident), box ref t) => {
[INFO] [stdout]    |                                       ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/printer.rs:61:41
[INFO] [stdout]    |
[INFO] [stdout] 61 |             Escape(StageVar(ref ident), box ref t) => {
[INFO] [stdout]    |                                         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/printer.rs:64:43
[INFO] [stdout]    |
[INFO] [stdout] 64 |             StageLam(StageVar(ref ident), box ref t) => write!(
[INFO] [stdout]    |                                           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/printer.rs:72:22
[INFO] [stdout]    |
[INFO] [stdout] 72 |             StageApp(box ref t, ref stage) => {
[INFO] [stdout]    |                      ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/printer.rs:83:38
[INFO] [stdout]    |
[INFO] [stdout] 83 |             CSP(StageVar(ref ident), box ref t) => write!(f, "(%{}. {})", ident, t),
[INFO] [stdout]    |                                      ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/printer.rs:85:33
[INFO] [stdout]    |
[INFO] [stdout] 85 |             Let(TermVar(ref x), box ref ty, box ref t1, box ref t2) => write!(
[INFO] [stdout]    |                                 ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/printer.rs:85:45
[INFO] [stdout]    |
[INFO] [stdout] 85 |             Let(TermVar(ref x), box ref ty, box ref t1, box ref t2) => write!(
[INFO] [stdout]    |                                             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/printer.rs:85:57
[INFO] [stdout]    |
[INFO] [stdout] 85 |             Let(TermVar(ref x), box ref ty, box ref t1, box ref t2) => write!(
[INFO] [stdout]    |                                                         ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/printer.rs:95:33
[INFO] [stdout]    |
[INFO] [stdout] 95 |             Fix(TermVar(ref x), box ref ty, box ref t) => write!(
[INFO] [stdout]    |                                 ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/printer.rs:95:45
[INFO] [stdout]    |
[INFO] [stdout] 95 |             Fix(TermVar(ref x), box ref ty, box ref t) => write!(
[INFO] [stdout]    |                                             ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/ast/printer.rs:104:17
[INFO] [stdout]     |
[INFO] [stdout] 104 |             Ifz(box ref cond, box ref t1, box ref t2) => write!(
[INFO] [stdout]     |                 ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/ast/printer.rs:104:31
[INFO] [stdout]     |
[INFO] [stdout] 104 |             Ifz(box ref cond, box ref t1, box ref t2) => write!(
[INFO] [stdout]     |                               ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/ast/printer.rs:104:43
[INFO] [stdout]     |
[INFO] [stdout] 104 |             Ifz(box ref cond, box ref t1, box ref t2) => write!(
[INFO] [stdout]     |                                           ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/ast/printer.rs:129:40
[INFO] [stdout]     |
[INFO] [stdout] 129 |             DepFun(TermVar(ref ident), box ref ty1, box ref ty2) => {
[INFO] [stdout]     |                                        ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/ast/printer.rs:129:53
[INFO] [stdout]     |
[INFO] [stdout] 129 |             DepFun(TermVar(ref ident), box ref ty1, box ref ty2) => {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/ast/printer.rs:136:17
[INFO] [stdout]     |
[INFO] [stdout] 136 |             App(box ref ty, box ref t) => write!(f, "{} {}", ty, t),
[INFO] [stdout]     |                 ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/ast/printer.rs:136:29
[INFO] [stdout]     |
[INFO] [stdout] 136 |             App(box ref ty, box ref t) => write!(f, "{} {}", ty, t),
[INFO] [stdout]     |                             ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/ast/printer.rs:137:39
[INFO] [stdout]     |
[INFO] [stdout] 137 |             Code(StageVar(ref ident), box ref ty) => write!(f, "|>{}. {}", ident, ty),
[INFO] [stdout]     |                                       ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/ast/printer.rs:138:44
[INFO] [stdout]     |
[INFO] [stdout] 138 |             StageBind(StageVar(ref ident), box ref ty) => write!(f, "forall {}. {}", ident, ty),
[INFO] [stdout]     |                                            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]  --> src/ast/subst.rs:7:27
[INFO] [stdout]   |
[INFO] [stdout] 7 |             Term::Lam(x_, box ty, box t_) if x != x_ => Term::Lam(
[INFO] [stdout]   |                           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]  --> src/ast/subst.rs:7:35
[INFO] [stdout]   |
[INFO] [stdout] 7 |             Term::Lam(x_, box ty, box t_) if x != x_ => Term::Lam(
[INFO] [stdout]   |                                   ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:12:23
[INFO] [stdout]    |
[INFO] [stdout] 12 |             Term::App(box t1, box t2) => Term::App(
[INFO] [stdout]    |                       ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:12:31
[INFO] [stdout]    |
[INFO] [stdout] 12 |             Term::App(box t1, box t2) => Term::App(
[INFO] [stdout]    |                               ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:16:35
[INFO] [stdout]    |
[INFO] [stdout] 16 |             Term::Code(stage_var, box t_) => Term::Code(stage_var, Box::new(t_.subst_term(x, t))),
[INFO] [stdout]    |                                   ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:17:37
[INFO] [stdout]    |
[INFO] [stdout] 17 |             Term::Escape(stage_var, box t_) => {
[INFO] [stdout]    |                                     ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:20:39
[INFO] [stdout]    |
[INFO] [stdout] 20 |             Term::StageLam(stage_var, box t_) => {
[INFO] [stdout]    |                                       ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:23:28
[INFO] [stdout]    |
[INFO] [stdout] 23 |             Term::StageApp(box t_, stage) => Term::StageApp(Box::new(t_.subst_term(x, t)), stage),
[INFO] [stdout]    |                            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:24:34
[INFO] [stdout]    |
[INFO] [stdout] 24 |             Term::CSP(stage_var, box t_) => Term::CSP(stage_var, Box::new(t_.subst_term(x, t))),
[INFO] [stdout]    |                                  ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:32:20
[INFO] [stdout]    |
[INFO] [stdout] 32 |             Lam(x, box ty, box t) => Lam(x, Box::new(ty), Box::new(t.subst_stage(a, stage))),
[INFO] [stdout]    |                    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:32:28
[INFO] [stdout]    |
[INFO] [stdout] 32 |             Lam(x, box ty, box t) => Lam(x, Box::new(ty), Box::new(t.subst_stage(a, stage))),
[INFO] [stdout]    |                            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:33:17
[INFO] [stdout]    |
[INFO] [stdout] 33 |             App(box t1, box t2) => App(
[INFO] [stdout]    |                 ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:33:25
[INFO] [stdout]    |
[INFO] [stdout] 33 |             App(box t1, box t2) => App(
[INFO] [stdout]    |                         ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:37:29
[INFO] [stdout]    |
[INFO] [stdout] 37 |             Code(stage_var, box t) if stage_var == a => {
[INFO] [stdout]    |                             ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:44:29
[INFO] [stdout]    |
[INFO] [stdout] 44 |             Code(stage_var, box t) => Code(stage_var, Box::new(t.subst_stage(a, stage))),
[INFO] [stdout]    |                             ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:45:31
[INFO] [stdout]    |
[INFO] [stdout] 45 |             Escape(stage_var, box t) if stage_var == a => {
[INFO] [stdout]    |                               ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:51:31
[INFO] [stdout]    |
[INFO] [stdout] 51 |             Escape(stage_var, box t) => Escape(stage_var, Box::new(t.subst_stage(a, stage))),
[INFO] [stdout]    |                               ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:52:33
[INFO] [stdout]    |
[INFO] [stdout] 52 |             StageLam(stage_var, box t_) if stage_var != a => {
[INFO] [stdout]    |                                 ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:55:22
[INFO] [stdout]    |
[INFO] [stdout] 55 |             StageApp(box t, stage_) => StageApp(Box::new(t.subst_stage(a, stage)), stage_),
[INFO] [stdout]    |                      ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:56:28
[INFO] [stdout]    |
[INFO] [stdout] 56 |             CSP(stage_var, box t) if stage_var == a => {
[INFO] [stdout]    |                            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:62:28
[INFO] [stdout]    |
[INFO] [stdout] 62 |             CSP(stage_var, box t) => CSP(stage_var, Box::new(t.subst_stage(a, stage))),
[INFO] [stdout]    |                            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:74:24
[INFO] [stdout]    |
[INFO] [stdout] 74 |             DepFun(x_, box ty1, box ty2) if x != x_ => DepFun(
[INFO] [stdout]    |                        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:74:33
[INFO] [stdout]    |
[INFO] [stdout] 74 |             DepFun(x_, box ty1, box ty2) if x != x_ => DepFun(
[INFO] [stdout]    |                                 ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:79:24
[INFO] [stdout]    |
[INFO] [stdout] 79 |             DepFun(x_, box ty1, box ty2) => {
[INFO] [stdout]    |                        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:79:33
[INFO] [stdout]    |
[INFO] [stdout] 79 |             DepFun(x_, box ty1, box ty2) => {
[INFO] [stdout]    |                                 ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:82:17
[INFO] [stdout]    |
[INFO] [stdout] 82 |             App(box ty, box arg) => App(
[INFO] [stdout]    |                 ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:82:25
[INFO] [stdout]    |
[INFO] [stdout] 82 |             App(box ty, box arg) => App(
[INFO] [stdout]    |                         ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:86:25
[INFO] [stdout]    |
[INFO] [stdout] 86 |             Code(alpha, box ty) => Code(alpha, Box::new(ty.subst_term(x, t))),
[INFO] [stdout]    |                         ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:87:30
[INFO] [stdout]    |
[INFO] [stdout] 87 |             StageBind(alpha, box ty) => StageBind(alpha, Box::new(ty.subst_term(x, t))),
[INFO] [stdout]    |                              ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:96:24
[INFO] [stdout]    |
[INFO] [stdout] 96 |             DepFun(x_, box ty1, box ty2) => DepFun(
[INFO] [stdout]    |                        ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/subst.rs:96:33
[INFO] [stdout]    |
[INFO] [stdout] 96 |             DepFun(x_, box ty1, box ty2) => DepFun(
[INFO] [stdout]    |                                 ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/ast/subst.rs:101:17
[INFO] [stdout]     |
[INFO] [stdout] 101 |             App(box ty, box arg) => App(
[INFO] [stdout]     |                 ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/ast/subst.rs:101:25
[INFO] [stdout]     |
[INFO] [stdout] 101 |             App(box ty, box arg) => App(
[INFO] [stdout]     |                         ^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/ast/subst.rs:105:26
[INFO] [stdout]     |
[INFO] [stdout] 105 |             Code(alpha_, box ty) if alpha == alpha_ => {
[INFO] [stdout]     |                          ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/ast/subst.rs:112:25
[INFO] [stdout]     |
[INFO] [stdout] 112 |             Code(alpha, box ty) => Code(alpha.clone(), Box::new(ty.subst_stage(alpha, stage))),
[INFO] [stdout]     |                         ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/ast/subst.rs:113:30
[INFO] [stdout]     |
[INFO] [stdout] 113 |             StageBind(alpha, box ty) => {
[INFO] [stdout]     |                              ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/util.rs:23:33
[INFO] [stdout]    |
[INFO] [stdout] 23 |                 Code(ref alpha, box ref v) => v.is_value_at(&vec![alpha.clone()]),
[INFO] [stdout]    |                                 ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/util.rs:24:29
[INFO] [stdout]    |
[INFO] [stdout] 24 |                 StageLam(_, box ref v) => v.is_value_at(&vec![]),
[INFO] [stdout]    |                             ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/util.rs:30:27
[INFO] [stdout]    |
[INFO] [stdout] 30 |                 Lam(_, _, box ref v) => v.is_value_at(stage),
[INFO] [stdout]    |                           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/util.rs:31:21
[INFO] [stdout]    |
[INFO] [stdout] 31 |                 App(box ref v1, box ref v2) => v1.is_value_at(stage) && v2.is_value_at(stage),
[INFO] [stdout]    |                     ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/util.rs:31:33
[INFO] [stdout]    |
[INFO] [stdout] 31 |                 App(box ref v1, box ref v2) => v1.is_value_at(stage) && v2.is_value_at(stage),
[INFO] [stdout]    |                                 ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/util.rs:32:33
[INFO] [stdout]    |
[INFO] [stdout] 32 |                 Code(ref alpha, box ref v) => {
[INFO] [stdout]    |                                 ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/util.rs:37:29
[INFO] [stdout]    |
[INFO] [stdout] 37 |                 StageLam(_, box ref v) => v.is_value_at(stage),
[INFO] [stdout]    |                             ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/util.rs:38:26
[INFO] [stdout]    |
[INFO] [stdout] 38 |                 StageApp(box ref v, _) => v.is_value_at(stage),
[INFO] [stdout]    |                          ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/util.rs:39:35
[INFO] [stdout]    |
[INFO] [stdout] 39 |                 Escape(ref alpha, box ref v) if stage.len() != 1 => {
[INFO] [stdout]    |                                   ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/ast/util.rs:47:32
[INFO] [stdout]    |
[INFO] [stdout] 47 |                 CSP(ref alpha, box ref v) => {
[INFO] [stdout]    |                                ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]  --> src/reduce.rs:9:21
[INFO] [stdout]   |
[INFO] [stdout] 9 |                 App(box Lam(x, _, t), box v) if v.is_value_at(&vec![]) => Ok(t.subst_term(x, v)),
[INFO] [stdout]   |                     ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]  --> src/reduce.rs:9:39
[INFO] [stdout]   |
[INFO] [stdout] 9 |                 App(box Lam(x, _, t), box v) if v.is_value_at(&vec![]) => Ok(t.subst_term(x, v)),
[INFO] [stdout]   |                                       ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:10:46
[INFO] [stdout]    |
[INFO] [stdout] 10 |                 StageApp(box StageLam(alpha, box v), stage) if v.is_value_at(&vec![]) => {
[INFO] [stdout]    |                                              ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:10:26
[INFO] [stdout]    |
[INFO] [stdout] 10 |                 StageApp(box StageLam(alpha, box v), stage) if v.is_value_at(&vec![]) => {
[INFO] [stdout]    |                          ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:13:57
[INFO] [stdout]    |
[INFO] [stdout] 13 |                 Escape(stage_var1, box Code(stage_var2, box v))
[INFO] [stdout]    |                                                         ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:13:36
[INFO] [stdout]    |
[INFO] [stdout] 13 |                 Escape(stage_var1, box Code(stage_var2, box v))
[INFO] [stdout]    |                                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:37:25
[INFO] [stdout]    |
[INFO] [stdout] 37 |                 box App(box Const(op), box Const(Literal::Int(n1))),
[INFO] [stdout]    |                         ^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:37:40
[INFO] [stdout]    |
[INFO] [stdout] 37 |                 box App(box Const(op), box Const(Literal::Int(n1))),
[INFO] [stdout]    |                                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:37:17
[INFO] [stdout]    |
[INFO] [stdout] 37 |                 box App(box Const(op), box Const(Literal::Int(n1))),
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:38:17
[INFO] [stdout]    |
[INFO] [stdout] 38 |                 box Const(Literal::Int(n2)),
[INFO] [stdout]    |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:47:17
[INFO] [stdout]    |
[INFO] [stdout] 47 |             App(box t1, box t2) if !t1.is_value_at(&vec![]) => Ok(App(
[INFO] [stdout]    |                 ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:47:25
[INFO] [stdout]    |
[INFO] [stdout] 47 |             App(box t1, box t2) if !t1.is_value_at(&vec![]) => Ok(App(
[INFO] [stdout]    |                         ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:51:17
[INFO] [stdout]    |
[INFO] [stdout] 51 |             App(box v, box t) if v.is_value_at(&vec![]) && !t.is_value_at(&vec![]) => Ok(App(
[INFO] [stdout]    |                 ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:51:24
[INFO] [stdout]    |
[INFO] [stdout] 51 |             App(box v, box t) if v.is_value_at(&vec![]) && !t.is_value_at(&vec![]) => Ok(App(
[INFO] [stdout]    |                        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:55:17
[INFO] [stdout]    |
[INFO] [stdout] 55 |             App(box v1, box v2) if v1.is_value_at(&vec![]) && v2.is_value_at(&vec![]) => {
[INFO] [stdout]    |                 ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:55:25
[INFO] [stdout]    |
[INFO] [stdout] 55 |             App(box v1, box v2) if v1.is_value_at(&vec![]) && v2.is_value_at(&vec![]) => {
[INFO] [stdout]    |                         ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:58:25
[INFO] [stdout]    |
[INFO] [stdout] 58 |             Code(alpha, box t) if !t.is_value_at(&vec![alpha.clone()]) => Ok(Code(
[INFO] [stdout]    |                         ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:62:29
[INFO] [stdout]    |
[INFO] [stdout] 62 |             StageLam(alpha, box t) if !t.is_value_at(&vec![]) => {
[INFO] [stdout]    |                             ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:65:22
[INFO] [stdout]    |
[INFO] [stdout] 65 |             StageApp(box t, stage) if !t.is_value_at(&vec![]) => {
[INFO] [stdout]    |                      ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:68:42
[INFO] [stdout]    |
[INFO] [stdout] 68 |             StageApp(box StageLam(alpha, box t), stage) => {
[INFO] [stdout]    |                                          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:68:22
[INFO] [stdout]    |
[INFO] [stdout] 68 |             StageApp(box StageLam(alpha, box t), stage) => {
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:72:20
[INFO] [stdout]    |
[INFO] [stdout] 72 |             Let(x, box ty, box t1, box t2) => reduce_context(
[INFO] [stdout]    |                    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:72:28
[INFO] [stdout]    |
[INFO] [stdout] 72 |             Let(x, box ty, box t1, box t2) => reduce_context(
[INFO] [stdout]    |                            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:72:36
[INFO] [stdout]    |
[INFO] [stdout] 72 |             Let(x, box ty, box t1, box t2) => reduce_context(
[INFO] [stdout]    |                                    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:77:20
[INFO] [stdout]    |
[INFO] [stdout] 77 |             Fix(x, box ty, box t) => {
[INFO] [stdout]    |                    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:77:28
[INFO] [stdout]    |
[INFO] [stdout] 77 |             Fix(x, box ty, box t) => {
[INFO] [stdout]    |                            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:81:17
[INFO] [stdout]    |
[INFO] [stdout] 81 |             Ifz(box cond, box t1, box t2) if cond.is_value_at(&vec![]) => {
[INFO] [stdout]    |                 ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:81:27
[INFO] [stdout]    |
[INFO] [stdout] 81 |             Ifz(box cond, box t1, box t2) if cond.is_value_at(&vec![]) => {
[INFO] [stdout]    |                           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:81:35
[INFO] [stdout]    |
[INFO] [stdout] 81 |             Ifz(box cond, box t1, box t2) if cond.is_value_at(&vec![]) => {
[INFO] [stdout]    |                                   ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:92:17
[INFO] [stdout]    |
[INFO] [stdout] 92 |             Ifz(box cond, box t1, box t2) => Ok(Ifz(
[INFO] [stdout]    |                 ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:92:27
[INFO] [stdout]    |
[INFO] [stdout] 92 |             Ifz(box cond, box t1, box t2) => Ok(Ifz(
[INFO] [stdout]    |                           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/reduce.rs:92:35
[INFO] [stdout]    |
[INFO] [stdout] 92 |             Ifz(box cond, box t1, box t2) => Ok(Ifz(
[INFO] [stdout]    |                                   ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:121:24
[INFO] [stdout]     |
[INFO] [stdout] 121 |             Lam(x, ty, box t) if !t.is_value_at(stage) => {
[INFO] [stdout]     |                        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:124:17
[INFO] [stdout]     |
[INFO] [stdout] 124 |             App(box t1, box t2) if !t1.is_value_at(stage) => Ok(App(
[INFO] [stdout]     |                 ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:124:25
[INFO] [stdout]     |
[INFO] [stdout] 124 |             App(box t1, box t2) if !t1.is_value_at(stage) => Ok(App(
[INFO] [stdout]     |                         ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:128:17
[INFO] [stdout]     |
[INFO] [stdout] 128 |             App(box v, box t) if v.is_value_at(stage) && !t.is_value_at(stage) => {
[INFO] [stdout]     |                 ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:128:24
[INFO] [stdout]     |
[INFO] [stdout] 128 |             App(box v, box t) if v.is_value_at(stage) && !t.is_value_at(stage) => {
[INFO] [stdout]     |                        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:131:17
[INFO] [stdout]     |
[INFO] [stdout] 131 |             App(box v1, box v2) if v1.is_value_at(stage) && v2.is_value_at(stage) => {
[INFO] [stdout]     |                 ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:131:25
[INFO] [stdout]     |
[INFO] [stdout] 131 |             App(box v1, box v2) if v1.is_value_at(stage) && v2.is_value_at(stage) => {
[INFO] [stdout]     |                         ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:134:44
[INFO] [stdout]     |
[INFO] [stdout] 134 |             Escape(alpha, box Code(alpha_, box v))
[INFO] [stdout]     |                                            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:134:27
[INFO] [stdout]     |
[INFO] [stdout] 134 |             Escape(alpha, box Code(alpha_, box v))
[INFO] [stdout]     |                           ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:139:25
[INFO] [stdout]     |
[INFO] [stdout] 139 |             Code(alpha, box t) => {
[INFO] [stdout]     |                         ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:148:27
[INFO] [stdout]     |
[INFO] [stdout] 148 |             Escape(alpha, box t) => {
[INFO] [stdout]     |                           ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:160:29
[INFO] [stdout]     |
[INFO] [stdout] 160 |             StageLam(alpha, box t) if !t.is_value_at(stage) => {
[INFO] [stdout]     |                             ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:163:22
[INFO] [stdout]     |
[INFO] [stdout] 163 |             StageApp(box t, stage) if !t.is_value_at(&stage) => {
[INFO] [stdout]     |                      ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:166:42
[INFO] [stdout]     |
[INFO] [stdout] 166 |             StageApp(box StageLam(alpha, box t), stage) => {
[INFO] [stdout]     |                                          ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:166:22
[INFO] [stdout]     |
[INFO] [stdout] 166 |             StageApp(box StageLam(alpha, box t), stage) => {
[INFO] [stdout]     |                      ^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:169:24
[INFO] [stdout]     |
[INFO] [stdout] 169 |             CSP(alpha, box t) => {
[INFO] [stdout]     |                        ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:182:20
[INFO] [stdout]     |
[INFO] [stdout] 182 |             Let(x, box ty, box t1, box t2) => reduce_context(
[INFO] [stdout]     |                    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:182:28
[INFO] [stdout]     |
[INFO] [stdout] 182 |             Let(x, box ty, box t1, box t2) => reduce_context(
[INFO] [stdout]     |                            ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:182:36
[INFO] [stdout]     |
[INFO] [stdout] 182 |             Let(x, box ty, box t1, box t2) => reduce_context(
[INFO] [stdout]     |                                    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:187:20
[INFO] [stdout]     |
[INFO] [stdout] 187 |             Fix(x, box ty, box t) => {
[INFO] [stdout]     |                    ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:187:28
[INFO] [stdout]     |
[INFO] [stdout] 187 |             Fix(x, box ty, box t) => {
[INFO] [stdout]     |                            ^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:191:17
[INFO] [stdout]     |
[INFO] [stdout] 191 |             Ifz(box cond, box t1, box t2) if cond.is_value_at(stage) => {
[INFO] [stdout]     |                 ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:191:27
[INFO] [stdout]     |
[INFO] [stdout] 191 |             Ifz(box cond, box t1, box t2) if cond.is_value_at(stage) => {
[INFO] [stdout]     |                           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:191:35
[INFO] [stdout]     |
[INFO] [stdout] 191 |             Ifz(box cond, box t1, box t2) if cond.is_value_at(stage) => {
[INFO] [stdout]     |                                   ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:202:17
[INFO] [stdout]     |
[INFO] [stdout] 202 |             Ifz(box cond, box t1, box t2) => Ok(Ifz(
[INFO] [stdout]     |                 ^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:202:27
[INFO] [stdout]     |
[INFO] [stdout] 202 |             Ifz(box cond, box t1, box t2) => Ok(Ifz(
[INFO] [stdout]     |                           ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/reduce.rs:202:35
[INFO] [stdout]     |
[INFO] [stdout] 202 |             Ifz(box cond, box t1, box t2) => Ok(Ifz(
[INFO] [stdout]     |                                   ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/type_check.rs:83:22
[INFO] [stdout]    |
[INFO] [stdout] 83 |         Lam(ref var, box ref arg_ty, box ref t) => {
[INFO] [stdout]    |                      ^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/type_check.rs:83:38
[INFO] [stdout]    |
[INFO] [stdout] 83 |         Lam(ref var, box ref arg_ty, box ref t) => {
[INFO] [stdout]    |                                      ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/type_check.rs:93:13
[INFO] [stdout]    |
[INFO] [stdout] 93 |         App(box ref t1, box ref t2) => {
[INFO] [stdout]    |             ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/type_check.rs:93:25
[INFO] [stdout]    |
[INFO] [stdout] 93 |         App(box ref t1, box ref t2) => {
[INFO] [stdout]    |                         ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/type_check.rs:95:40
[INFO] [stdout]    |
[INFO] [stdout] 95 |             if let Type::DepFun(ref x, box ref param_ty, box ref body_ty) = ty {
[INFO] [stdout]    |                                        ^^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]   --> src/type_check.rs:95:58
[INFO] [stdout]    |
[INFO] [stdout] 95 |             if let Type::DepFun(ref x, box ref param_ty, box ref body_ty) = ty {
[INFO] [stdout]    |                                                          ^^^^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/type_check.rs:116:25
[INFO] [stdout]     |
[INFO] [stdout] 116 |         Code(ref alpha, box ref t) => {
[INFO] [stdout]     |                         ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/type_check.rs:122:27
[INFO] [stdout]     |
[INFO] [stdout] 122 |         Escape(ref alpha, box ref t) => {
[INFO] [stdout]     |                           ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/type_check.rs:127:47
[INFO] [stdout]     |
[INFO] [stdout] 127 |                     if let Type::Code(alpha_, box ty) = ty {
[INFO] [stdout]     |                                               ^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/type_check.rs:143:29
[INFO] [stdout]     |
[INFO] [stdout] 143 |         StageLam(ref alpha, box ref t) => {
[INFO] [stdout]     |                             ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/type_check.rs:147:18
[INFO] [stdout]     |
[INFO] [stdout] 147 |         StageApp(box ref t, ref stage_) => {
[INFO] [stdout]     |                  ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/type_check.rs:156:24
[INFO] [stdout]     |
[INFO] [stdout] 156 |         CSP(ref alpha, box ref t) => {
[INFO] [stdout]     |                        ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/type_check.rs:169:20
[INFO] [stdout]     |
[INFO] [stdout] 169 |         Let(ref x, box ref ty, box ref t1, box ref t2) => type_check_impl(
[INFO] [stdout]     |                    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/type_check.rs:169:32
[INFO] [stdout]     |
[INFO] [stdout] 169 |         Let(ref x, box ref ty, box ref t1, box ref t2) => type_check_impl(
[INFO] [stdout]     |                                ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/type_check.rs:169:44
[INFO] [stdout]     |
[INFO] [stdout] 169 |         Let(ref x, box ref ty, box ref t1, box ref t2) => type_check_impl(
[INFO] [stdout]     |                                            ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/type_check.rs:178:20
[INFO] [stdout]     |
[INFO] [stdout] 178 |         Fix(ref x, box ref ty, box ref t) => {
[INFO] [stdout]     |                    ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/type_check.rs:178:32
[INFO] [stdout]     |
[INFO] [stdout] 178 |         Fix(ref x, box ref ty, box ref t) => {
[INFO] [stdout]     |                                ^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/type_check.rs:188:13
[INFO] [stdout]     |
[INFO] [stdout] 188 |         Ifz(box ref cond, box ref t1, box ref t2) => {
[INFO] [stdout]     |             ^^^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/type_check.rs:188:27
[INFO] [stdout]     |
[INFO] [stdout] 188 |         Ifz(box ref cond, box ref t1, box ref t2) => {
[INFO] [stdout]     |                           ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: `box_patterns` have been removed
[INFO] [stdout]    --> src/type_check.rs:188:39
[INFO] [stdout]     |
[INFO] [stdout] 188 |         Ifz(box ref cond, box ref t1, box ref t2) => {
[INFO] [stdout]     |                                       ^^^^^^^^^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]   --> src/ast/printer.rs:47:17
[INFO] [stdout]    |
[INFO] [stdout] 47 |                 ty,
[INFO] [stdout]    |                 ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/ast/printer.rs:48:32
[INFO] [stdout]    |
[INFO] [stdout] 48 |                 TermWithIndent(t, indent + 2),
[INFO] [stdout]    |                                ^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 48 -                 TermWithIndent(t, indent + 2),
[INFO] [stdout] 48 +                 TermWithIndent(f, indent + 2),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]   --> src/ast/printer.rs:55:32
[INFO] [stdout]    |
[INFO] [stdout] 55 |                 TermWithIndent(t1, indent + 2),
[INFO] [stdout]    |                                ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]   --> src/ast/printer.rs:56:32
[INFO] [stdout]    |
[INFO] [stdout] 56 |                 TermWithIndent(t2, indent + 2),
[INFO] [stdout]    |                                ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/ast/printer.rs:59:63
[INFO] [stdout]    |
[INFO] [stdout] 59 |                 write!(f, "(|>{}. {})", ident, TermWithIndent(t, indent + 2))
[INFO] [stdout]    |                                                               ^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 59 -                 write!(f, "(|>{}. {})", ident, TermWithIndent(t, indent + 2))
[INFO] [stdout] 59 +                 write!(f, "(|>{}. {})", ident, TermWithIndent(f, indent + 2))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/ast/printer.rs:62:63
[INFO] [stdout]    |
[INFO] [stdout] 62 |                 write!(f, "(<|{}. {})", ident, TermWithIndent(t, indent + 2))
[INFO] [stdout]    |                                                               ^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 62 -                 write!(f, "(<|{}. {})", ident, TermWithIndent(t, indent + 2))
[INFO] [stdout] 62 +                 write!(f, "(<|{}. {})", ident, TermWithIndent(f, indent + 2))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/ast/printer.rs:68:32
[INFO] [stdout]    |
[INFO] [stdout] 68 |                 TermWithIndent(t, indent + 2),
[INFO] [stdout]    |                                ^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 68 -                 TermWithIndent(t, indent + 2),
[INFO] [stdout] 68 +                 TermWithIndent(f, indent + 2),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/ast/printer.rs:81:42
[INFO] [stdout]    |
[INFO] [stdout] 81 |                 write!(f, "({}@{{{}}})", t, stage)
[INFO] [stdout]    |                                          ^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 81 -                 write!(f, "({}@{{{}}})", t, stage)
[INFO] [stdout] 81 +                 write!(f, "({}@{{{}}})", f, stage)
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/ast/printer.rs:83:82
[INFO] [stdout]    |
[INFO] [stdout] 83 |             CSP(StageVar(ref ident), box ref t) => write!(f, "(%{}. {})", ident, t),
[INFO] [stdout]    |                                                                                  ^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 83 -             CSP(StageVar(ref ident), box ref t) => write!(f, "(%{}. {})", ident, t),
[INFO] [stdout] 83 +             CSP(StageVar(ref ident), box ref t) => write!(f, "(%{}. {})", ident, f),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]   --> src/ast/printer.rs:89:17
[INFO] [stdout]    |
[INFO] [stdout] 89 |                 ty,
[INFO] [stdout]    |                 ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]   --> src/ast/printer.rs:90:32
[INFO] [stdout]    |
[INFO] [stdout] 90 |                 TermWithIndent(t1, indent + 2),
[INFO] [stdout]    |                                ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]   --> src/ast/printer.rs:91:32
[INFO] [stdout]    |
[INFO] [stdout] 91 |                 TermWithIndent(t2, indent + 2),
[INFO] [stdout]    |                                ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]   --> src/ast/printer.rs:99:17
[INFO] [stdout]    |
[INFO] [stdout] 99 |                 ty,
[INFO] [stdout]    |                 ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/ast/printer.rs:100:32
[INFO] [stdout]     |
[INFO] [stdout] 100 |                 TermWithIndent(t, indent + 2),
[INFO] [stdout]     |                                ^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 100 -                 TermWithIndent(t, indent + 2),
[INFO] [stdout] 100 +                 TermWithIndent(f, indent + 2),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `cond` in this scope
[INFO] [stdout]    --> src/ast/printer.rs:107:32
[INFO] [stdout]     |
[INFO] [stdout] 107 |                 TermWithIndent(cond, indent + 2),
[INFO] [stdout]     |                                ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]    --> src/ast/printer.rs:108:32
[INFO] [stdout]     |
[INFO] [stdout] 108 |                 TermWithIndent(t1, indent + 2),
[INFO] [stdout]     |                                ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]    --> src/ast/printer.rs:109:32
[INFO] [stdout]     |
[INFO] [stdout] 109 |                 TermWithIndent(t2, indent + 2),
[INFO] [stdout]     |                                ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty1` in this scope
[INFO] [stdout]    --> src/ast/printer.rs:131:43
[INFO] [stdout]     |
[INFO] [stdout] 131 |                     write!(f, "{} -> {}", ty1, ty2)
[INFO] [stdout]     |                                           ^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty2` in this scope
[INFO] [stdout]    --> src/ast/printer.rs:131:48
[INFO] [stdout]     |
[INFO] [stdout] 131 |                     write!(f, "{} -> {}", ty1, ty2)
[INFO] [stdout]     |                                                ^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty1` in this scope
[INFO] [stdout]    --> src/ast/printer.rs:133:55
[INFO] [stdout]     |
[INFO] [stdout] 133 |                     write!(f, "Pi {}: {}. {}", ident, ty1, ty2)
[INFO] [stdout]     |                                                       ^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty2` in this scope
[INFO] [stdout]    --> src/ast/printer.rs:133:60
[INFO] [stdout]     |
[INFO] [stdout] 133 |                     write!(f, "Pi {}: {}. {}", ident, ty1, ty2)
[INFO] [stdout]     |                                                            ^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]    --> src/ast/printer.rs:136:62
[INFO] [stdout]     |
[INFO] [stdout] 136 |             App(box ref ty, box ref t) => write!(f, "{} {}", ty, t),
[INFO] [stdout]     |                                                              ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/ast/printer.rs:136:66
[INFO] [stdout]     |
[INFO] [stdout] 136 |             App(box ref ty, box ref t) => write!(f, "{} {}", ty, t),
[INFO] [stdout]     |                                                                  ^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 136 -             App(box ref ty, box ref t) => write!(f, "{} {}", ty, t),
[INFO] [stdout] 136 +             App(box ref ty, box ref t) => write!(f, "{} {}", ty, f),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]    --> src/ast/printer.rs:137:83
[INFO] [stdout]     |
[INFO] [stdout] 137 |             Code(StageVar(ref ident), box ref ty) => write!(f, "|>{}. {}", ident, ty),
[INFO] [stdout]     |                                                                                   ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]    --> src/ast/printer.rs:138:93
[INFO] [stdout]     |
[INFO] [stdout] 138 |             StageBind(StageVar(ref ident), box ref ty) => write!(f, "forall {}. {}", ident, ty),
[INFO] [stdout]     |                                                                                             ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]  --> src/ast/subst.rs:9:26
[INFO] [stdout]   |
[INFO] [stdout] 9 |                 Box::new(ty.subst_term(x.clone(), t.clone())),
[INFO] [stdout]   |                          ^^
[INFO] [stdout]   |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]   |
[INFO] [stdout] 9 -                 Box::new(ty.subst_term(x.clone(), t.clone())),
[INFO] [stdout] 9 +                 Box::new(t.subst_term(x.clone(), t.clone())),
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t_` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:10:26
[INFO] [stdout]    |
[INFO] [stdout] 10 |                 Box::new(t_.subst_term(x, t)),
[INFO] [stdout]    |                          ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 10 -                 Box::new(t_.subst_term(x, t)),
[INFO] [stdout] 10 +                 Box::new(t.subst_term(x, t)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:13:26
[INFO] [stdout]    |
[INFO] [stdout] 13 |                 Box::new(t1.subst_term(x.clone(), t.clone())),
[INFO] [stdout]    |                          ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 13 -                 Box::new(t1.subst_term(x.clone(), t.clone())),
[INFO] [stdout] 13 +                 Box::new(t.subst_term(x.clone(), t.clone())),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:14:26
[INFO] [stdout]    |
[INFO] [stdout] 14 |                 Box::new(t2.subst_term(x, t)),
[INFO] [stdout]    |                          ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 14 -                 Box::new(t2.subst_term(x, t)),
[INFO] [stdout] 14 +                 Box::new(t.subst_term(x, t)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t_` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:16:77
[INFO] [stdout]    |
[INFO] [stdout] 16 |             Term::Code(stage_var, box t_) => Term::Code(stage_var, Box::new(t_.subst_term(x, t))),
[INFO] [stdout]    |                                                                             ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 16 -             Term::Code(stage_var, box t_) => Term::Code(stage_var, Box::new(t_.subst_term(x, t))),
[INFO] [stdout] 16 +             Term::Code(stage_var, box t_) => Term::Code(stage_var, Box::new(t.subst_term(x, t))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t_` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:18:50
[INFO] [stdout]    |
[INFO] [stdout] 18 |                 Term::Escape(stage_var, Box::new(t_.subst_term(x, t)))
[INFO] [stdout]    |                                                  ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 18 -                 Term::Escape(stage_var, Box::new(t_.subst_term(x, t)))
[INFO] [stdout] 18 +                 Term::Escape(stage_var, Box::new(t.subst_term(x, t)))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t_` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:21:52
[INFO] [stdout]    |
[INFO] [stdout] 21 |                 Term::StageLam(stage_var, Box::new(t_.subst_term(x, t)))
[INFO] [stdout]    |                                                    ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 21 -                 Term::StageLam(stage_var, Box::new(t_.subst_term(x, t)))
[INFO] [stdout] 21 +                 Term::StageLam(stage_var, Box::new(t.subst_term(x, t)))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t_` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:23:70
[INFO] [stdout]    |
[INFO] [stdout] 23 |             Term::StageApp(box t_, stage) => Term::StageApp(Box::new(t_.subst_term(x, t)), stage),
[INFO] [stdout]    |                                                                      ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 23 -             Term::StageApp(box t_, stage) => Term::StageApp(Box::new(t_.subst_term(x, t)), stage),
[INFO] [stdout] 23 +             Term::StageApp(box t_, stage) => Term::StageApp(Box::new(t.subst_term(x, t)), stage),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t_` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:24:75
[INFO] [stdout]    |
[INFO] [stdout] 24 |             Term::CSP(stage_var, box t_) => Term::CSP(stage_var, Box::new(t_.subst_term(x, t))),
[INFO] [stdout]    |                                                                           ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 24 -             Term::CSP(stage_var, box t_) => Term::CSP(stage_var, Box::new(t_.subst_term(x, t))),
[INFO] [stdout] 24 +             Term::CSP(stage_var, box t_) => Term::CSP(stage_var, Box::new(t.subst_term(x, t))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:32:54
[INFO] [stdout]    |
[INFO] [stdout] 32 |             Lam(x, box ty, box t) => Lam(x, Box::new(ty), Box::new(t.subst_stage(a, stage))),
[INFO] [stdout]    |                                                      ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:32:68
[INFO] [stdout]    |
[INFO] [stdout] 32 |             Lam(x, box ty, box t) => Lam(x, Box::new(ty), Box::new(t.subst_stage(a, stage))),
[INFO] [stdout]    |                                                                    ^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 32 -             Lam(x, box ty, box t) => Lam(x, Box::new(ty), Box::new(t.subst_stage(a, stage))),
[INFO] [stdout] 32 +             Lam(x, box ty, box t) => Lam(x, Box::new(ty), Box::new(a.subst_stage(a, stage))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:34:26
[INFO] [stdout]    |
[INFO] [stdout] 34 |                 Box::new(t1.subst_stage(a.clone(), stage.clone())),
[INFO] [stdout]    |                          ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:35:26
[INFO] [stdout]    |
[INFO] [stdout] 35 |                 Box::new(t2.subst_stage(a, stage)),
[INFO] [stdout]    |                          ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:38:25
[INFO] [stdout]    |
[INFO] [stdout] 38 |                 let t = t.subst_stage(a, stage.clone());
[INFO] [stdout]    |                         ^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 38 -                 let t = t.subst_stage(a, stage.clone());
[INFO] [stdout] 38 +                 let t = a.subst_stage(a, stage.clone());
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:44:64
[INFO] [stdout]    |
[INFO] [stdout] 44 |             Code(stage_var, box t) => Code(stage_var, Box::new(t.subst_stage(a, stage))),
[INFO] [stdout]    |                                                                ^
[INFO] [stdout]    |
[INFO] [stdout] help: the binding `t` is available in a different scope in the same function
[INFO] [stdout]   --> src/ast/subst.rs:38:21
[INFO] [stdout]    |
[INFO] [stdout] 38 |                 let t = t.subst_stage(a, stage.clone());
[INFO] [stdout]    |                     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:46:25
[INFO] [stdout]    |
[INFO] [stdout] 46 |                 let t = t.subst_stage(a, stage.clone());
[INFO] [stdout]    |                         ^
[INFO] [stdout]    |
[INFO] [stdout] help: the binding `t` is available in a different scope in the same function
[INFO] [stdout]   --> src/ast/subst.rs:38:21
[INFO] [stdout]    |
[INFO] [stdout] 38 |                 let t = t.subst_stage(a, stage.clone());
[INFO] [stdout]    |                     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:51:68
[INFO] [stdout]    |
[INFO] [stdout] 51 |             Escape(stage_var, box t) => Escape(stage_var, Box::new(t.subst_stage(a, stage))),
[INFO] [stdout]    |                                                                    ^
[INFO] [stdout]    |
[INFO] [stdout] help: the binding `t` is available in a different scope in the same function
[INFO] [stdout]   --> src/ast/subst.rs:46:21
[INFO] [stdout]    |
[INFO] [stdout] 46 |                 let t = t.subst_stage(a, stage.clone());
[INFO] [stdout]    |                     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t_` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:53:46
[INFO] [stdout]    |
[INFO] [stdout] 53 |                 StageLam(stage_var, Box::new(t_.subst_stage(a, stage)))
[INFO] [stdout]    |                                              ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:55:58
[INFO] [stdout]    |
[INFO] [stdout] 55 |             StageApp(box t, stage_) => StageApp(Box::new(t.subst_stage(a, stage)), stage_),
[INFO] [stdout]    |                                                          ^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 55 -             StageApp(box t, stage_) => StageApp(Box::new(t.subst_stage(a, stage)), stage_),
[INFO] [stdout] 55 +             StageApp(box t, stage_) => StageApp(Box::new(a.subst_stage(a, stage)), stage_),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:57:25
[INFO] [stdout]    |
[INFO] [stdout] 57 |                 let t = t.subst_stage(a, stage.clone());
[INFO] [stdout]    |                         ^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 57 -                 let t = t.subst_stage(a, stage.clone());
[INFO] [stdout] 57 +                 let t = a.subst_stage(a, stage.clone());
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:62:62
[INFO] [stdout]    |
[INFO] [stdout] 62 |             CSP(stage_var, box t) => CSP(stage_var, Box::new(t.subst_stage(a, stage))),
[INFO] [stdout]    |                                                              ^
[INFO] [stdout]    |
[INFO] [stdout] help: the binding `t` is available in a different scope in the same function
[INFO] [stdout]   --> src/ast/subst.rs:57:21
[INFO] [stdout]    |
[INFO] [stdout] 57 |                 let t = t.subst_stage(a, stage.clone());
[INFO] [stdout]    |                     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty1` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:76:26
[INFO] [stdout]    |
[INFO] [stdout] 76 |                 Box::new(ty1.subst_term(x.clone(), t.clone())),
[INFO] [stdout]    |                          ^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty2` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:77:26
[INFO] [stdout]    |
[INFO] [stdout] 77 |                 Box::new(ty2.subst_term(x, t)),
[INFO] [stdout]    |                          ^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty1` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:80:45
[INFO] [stdout]    |
[INFO] [stdout] 80 |                 DepFun(x_.clone(), Box::new(ty1.clone()), Box::new(ty2.clone()))
[INFO] [stdout]    |                                             ^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty2` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:80:68
[INFO] [stdout]    |
[INFO] [stdout] 80 |                 DepFun(x_.clone(), Box::new(ty1.clone()), Box::new(ty2.clone()))
[INFO] [stdout]    |                                                                    ^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:83:26
[INFO] [stdout]    |
[INFO] [stdout] 83 |                 Box::new(ty.subst_term(x.clone(), t.clone())),
[INFO] [stdout]    |                          ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 83 -                 Box::new(ty.subst_term(x.clone(), t.clone())),
[INFO] [stdout] 83 +                 Box::new(t.subst_term(x.clone(), t.clone())),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `arg` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:84:26
[INFO] [stdout]    |
[INFO] [stdout] 84 |                 Box::new(arg.subst_term(x, t)),
[INFO] [stdout]    |                          ^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:86:57
[INFO] [stdout]    |
[INFO] [stdout] 86 |             Code(alpha, box ty) => Code(alpha, Box::new(ty.subst_term(x, t))),
[INFO] [stdout]    |                                                         ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 86 -             Code(alpha, box ty) => Code(alpha, Box::new(ty.subst_term(x, t))),
[INFO] [stdout] 86 +             Code(alpha, box ty) => Code(alpha, Box::new(t.subst_term(x, t))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:87:67
[INFO] [stdout]    |
[INFO] [stdout] 87 |             StageBind(alpha, box ty) => StageBind(alpha, Box::new(ty.subst_term(x, t))),
[INFO] [stdout]    |                                                                   ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 87 -             StageBind(alpha, box ty) => StageBind(alpha, Box::new(ty.subst_term(x, t))),
[INFO] [stdout] 87 +             StageBind(alpha, box ty) => StageBind(alpha, Box::new(t.subst_term(x, t))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty1` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:98:26
[INFO] [stdout]    |
[INFO] [stdout] 98 |                 Box::new(ty1.subst_stage(alpha.clone(), stage.clone())),
[INFO] [stdout]    |                          ^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty2` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:99:26
[INFO] [stdout]    |
[INFO] [stdout] 99 |                 Box::new(ty2.subst_stage(alpha, stage)),
[INFO] [stdout]    |                          ^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]    --> src/ast/subst.rs:102:26
[INFO] [stdout]     |
[INFO] [stdout] 102 |                 Box::new(ty.subst_stage(alpha.clone(), stage.clone())),
[INFO] [stdout]     |                          ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `arg` in this scope
[INFO] [stdout]    --> src/ast/subst.rs:103:26
[INFO] [stdout]     |
[INFO] [stdout] 103 |                 Box::new(arg.subst_stage(alpha, stage)),
[INFO] [stdout]     |                          ^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]    --> src/ast/subst.rs:106:26
[INFO] [stdout]     |
[INFO] [stdout] 106 |                 let ty = ty.subst_stage(alpha, stage.clone());
[INFO] [stdout]     |                          ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]    --> src/ast/subst.rs:112:65
[INFO] [stdout]     |
[INFO] [stdout] 112 |             Code(alpha, box ty) => Code(alpha.clone(), Box::new(ty.subst_stage(alpha, stage))),
[INFO] [stdout]     |                                                                 ^^
[INFO] [stdout]     |
[INFO] [stdout] help: the binding `ty` is available in a different scope in the same function
[INFO] [stdout]    --> src/ast/subst.rs:106:21
[INFO] [stdout]     |
[INFO] [stdout] 106 |                 let ty = ty.subst_stage(alpha, stage.clone());
[INFO] [stdout]     |                     ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]    --> src/ast/subst.rs:114:51
[INFO] [stdout]     |
[INFO] [stdout] 114 |                 StageBind(alpha.clone(), Box::new(ty.subst_stage(alpha, stage)))
[INFO] [stdout]     |                                                   ^^
[INFO] [stdout]     |
[INFO] [stdout] help: the binding `ty` is available in a different scope in the same function
[INFO] [stdout]    --> src/ast/subst.rs:106:21
[INFO] [stdout]     |
[INFO] [stdout] 106 |                 let ty = ty.subst_stage(alpha, stage.clone());
[INFO] [stdout]     |                     ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]   --> src/ast/util.rs:23:47
[INFO] [stdout]    |
[INFO] [stdout] 23 |                 Code(ref alpha, box ref v) => v.is_value_at(&vec![alpha.clone()]),
[INFO] [stdout]    |                                               ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]   --> src/ast/util.rs:24:43
[INFO] [stdout]    |
[INFO] [stdout] 24 |                 StageLam(_, box ref v) => v.is_value_at(&vec![]),
[INFO] [stdout]    |                                           ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]   --> src/ast/util.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 |                 Lam(_, _, box ref v) => v.is_value_at(stage),
[INFO] [stdout]    |                                         ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v1` in this scope
[INFO] [stdout]   --> src/ast/util.rs:31:48
[INFO] [stdout]    |
[INFO] [stdout] 31 |                 App(box ref v1, box ref v2) => v1.is_value_at(stage) && v2.is_value_at(stage),
[INFO] [stdout]    |                                                ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v2` in this scope
[INFO] [stdout]   --> src/ast/util.rs:31:73
[INFO] [stdout]    |
[INFO] [stdout] 31 |                 App(box ref v1, box ref v2) => v1.is_value_at(stage) && v2.is_value_at(stage),
[INFO] [stdout]    |                                                                         ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]   --> src/ast/util.rs:35:21
[INFO] [stdout]    |
[INFO] [stdout] 35 |                     v.is_value_at(&stage)
[INFO] [stdout]    |                     ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]   --> src/ast/util.rs:37:43
[INFO] [stdout]    |
[INFO] [stdout] 37 |                 StageLam(_, box ref v) => v.is_value_at(stage),
[INFO] [stdout]    |                                           ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]   --> src/ast/util.rs:38:43
[INFO] [stdout]    |
[INFO] [stdout] 38 |                 StageApp(box ref v, _) => v.is_value_at(stage),
[INFO] [stdout]    |                                           ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]   --> src/ast/util.rs:42:45
[INFO] [stdout]    |
[INFO] [stdout] 42 |                         alpha == &alpha_ && v.is_value_at(&stage)
[INFO] [stdout]    |                                             ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]   --> src/ast/util.rs:50:45
[INFO] [stdout]    |
[INFO] [stdout] 50 |                         alpha == &alpha_ && v.is_value_at(&stage)
[INFO] [stdout]    |                                             ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]  --> src/reduce.rs:9:49
[INFO] [stdout]   |
[INFO] [stdout] 9 |                 App(box Lam(x, _, t), box v) if v.is_value_at(&vec![]) => Ok(t.subst_term(x, v)),
[INFO] [stdout]   |                                                 ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]  --> src/reduce.rs:9:78
[INFO] [stdout]   |
[INFO] [stdout] 9 |                 App(box Lam(x, _, t), box v) if v.is_value_at(&vec![]) => Ok(t.subst_term(x, v)),
[INFO] [stdout]   |                                                                              ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `x` in this scope
[INFO] [stdout]  --> src/reduce.rs:9:91
[INFO] [stdout]   |
[INFO] [stdout] 9 |                 App(box Lam(x, _, t), box v) if v.is_value_at(&vec![]) => Ok(t.subst_term(x, v)),
[INFO] [stdout]   |                                                                                           ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]  --> src/reduce.rs:9:94
[INFO] [stdout]   |
[INFO] [stdout] 9 |                 App(box Lam(x, _, t), box v) if v.is_value_at(&vec![]) => Ok(t.subst_term(x, v)),
[INFO] [stdout]   |                                                                                              ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]   --> src/reduce.rs:10:64
[INFO] [stdout]    |
[INFO] [stdout] 10 |                 StageApp(box StageLam(alpha, box v), stage) if v.is_value_at(&vec![]) => {
[INFO] [stdout]    |                                                                ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]   --> src/reduce.rs:11:24
[INFO] [stdout]    |
[INFO] [stdout] 11 |                     Ok(v.subst_stage(alpha, stage))
[INFO] [stdout]    |                        ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `alpha` in this scope
[INFO] [stdout]   --> src/reduce.rs:11:38
[INFO] [stdout]    |
[INFO] [stdout] 11 |                     Ok(v.subst_stage(alpha, stage))
[INFO] [stdout]    |                                      ^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `stage_var2` in this scope
[INFO] [stdout]   --> src/reduce.rs:14:38
[INFO] [stdout]    |
[INFO] [stdout] 14 |                     if stage_var1 == stage_var2 && v.is_value_at(&vec![stage_var1.clone()]) =>
[INFO] [stdout]    |                                      ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 14 -                     if stage_var1 == stage_var2 && v.is_value_at(&vec![stage_var1.clone()]) =>
[INFO] [stdout] 14 +                     if stage_var1 == stage_var1 && v.is_value_at(&vec![stage_var1.clone()]) =>
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]   --> src/reduce.rs:14:52
[INFO] [stdout]    |
[INFO] [stdout] 14 |                     if stage_var1 == stage_var2 && v.is_value_at(&vec![stage_var1.clone()]) =>
[INFO] [stdout]    |                                                    ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]   --> src/reduce.rs:16:24
[INFO] [stdout]    |
[INFO] [stdout] 16 |                     Ok(v)
[INFO] [stdout]    |                        ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `op` in this scope
[INFO] [stdout]   --> src/reduce.rs:39:46
[INFO] [stdout]    |
[INFO] [stdout] 39 |             ) => Ok(Const(Literal::Int(match op {
[INFO] [stdout]    |                                              ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `n1` in this scope
[INFO] [stdout]   --> src/reduce.rs:40:33
[INFO] [stdout]    |
[INFO] [stdout] 40 |                 Literal::Add => n1 + n2,
[INFO] [stdout]    |                                 ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `n2` in this scope
[INFO] [stdout]   --> src/reduce.rs:40:38
[INFO] [stdout]    |
[INFO] [stdout] 40 |                 Literal::Add => n1 + n2,
[INFO] [stdout]    |                                      ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `n1` in this scope
[INFO] [stdout]   --> src/reduce.rs:41:33
[INFO] [stdout]    |
[INFO] [stdout] 41 |                 Literal::Sub => n1 - n2,
[INFO] [stdout]    |                                 ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `n2` in this scope
[INFO] [stdout]   --> src/reduce.rs:41:38
[INFO] [stdout]    |
[INFO] [stdout] 41 |                 Literal::Sub => n1 - n2,
[INFO] [stdout]    |                                      ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `n1` in this scope
[INFO] [stdout]   --> src/reduce.rs:42:34
[INFO] [stdout]    |
[INFO] [stdout] 42 |                 Literal::Mult => n1 * n2,
[INFO] [stdout]    |                                  ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `n2` in this scope
[INFO] [stdout]   --> src/reduce.rs:42:39
[INFO] [stdout]    |
[INFO] [stdout] 42 |                 Literal::Mult => n1 * n2,
[INFO] [stdout]    |                                       ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `n1` in this scope
[INFO] [stdout]   --> src/reduce.rs:43:33
[INFO] [stdout]    |
[INFO] [stdout] 43 |                 Literal::Div => n1 / n2,
[INFO] [stdout]    |                                 ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `n2` in this scope
[INFO] [stdout]   --> src/reduce.rs:43:38
[INFO] [stdout]    |
[INFO] [stdout] 43 |                 Literal::Div => n1 / n2,
[INFO] [stdout]    |                                      ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]   --> src/reduce.rs:47:37
[INFO] [stdout]    |
[INFO] [stdout] 47 |             App(box t1, box t2) if !t1.is_value_at(&vec![]) => Ok(App(
[INFO] [stdout]    |                                     ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]   --> src/reduce.rs:48:41
[INFO] [stdout]    |
[INFO] [stdout] 48 |                 Box::new(reduce_context(t1, &vec![], rule)?),
[INFO] [stdout]    |                                         ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]   --> src/reduce.rs:49:26
[INFO] [stdout]    |
[INFO] [stdout] 49 |                 Box::new(t2),
[INFO] [stdout]    |                          ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]   --> src/reduce.rs:51:34
[INFO] [stdout]    |
[INFO] [stdout] 51 |             App(box v, box t) if v.is_value_at(&vec![]) && !t.is_value_at(&vec![]) => Ok(App(
[INFO] [stdout]    |                                  ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/reduce.rs:51:61
[INFO] [stdout]    |
[INFO] [stdout] 51 |             App(box v, box t) if v.is_value_at(&vec![]) && !t.is_value_at(&vec![]) => Ok(App(
[INFO] [stdout]    |                                                             ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]   --> src/reduce.rs:52:26
[INFO] [stdout]    |
[INFO] [stdout] 52 |                 Box::new(v),
[INFO] [stdout]    |                          ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/reduce.rs:53:41
[INFO] [stdout]    |
[INFO] [stdout] 53 |                 Box::new(reduce_context(t, &vec![], rule)?),
[INFO] [stdout]    |                                         ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v1` in this scope
[INFO] [stdout]   --> src/reduce.rs:55:36
[INFO] [stdout]    |
[INFO] [stdout] 55 |             App(box v1, box v2) if v1.is_value_at(&vec![]) && v2.is_value_at(&vec![]) => {
[INFO] [stdout]    |                                    ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v2` in this scope
[INFO] [stdout]   --> src/reduce.rs:55:63
[INFO] [stdout]    |
[INFO] [stdout] 55 |             App(box v1, box v2) if v1.is_value_at(&vec![]) && v2.is_value_at(&vec![]) => {
[INFO] [stdout]    |                                                               ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v1` in this scope
[INFO] [stdout]   --> src/reduce.rs:56:35
[INFO] [stdout]    |
[INFO] [stdout] 56 |                 rule(App(Box::new(v1), Box::new(v2)))
[INFO] [stdout]    |                                   ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v2` in this scope
[INFO] [stdout]   --> src/reduce.rs:56:49
[INFO] [stdout]    |
[INFO] [stdout] 56 |                 rule(App(Box::new(v1), Box::new(v2)))
[INFO] [stdout]    |                                                 ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/reduce.rs:58:36
[INFO] [stdout]    |
[INFO] [stdout] 58 |             Code(alpha, box t) if !t.is_value_at(&vec![alpha.clone()]) => Ok(Code(
[INFO] [stdout]    |                                    ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/reduce.rs:60:41
[INFO] [stdout]    |
[INFO] [stdout] 60 |                 Box::new(reduce_context(t, &vec![alpha.clone()], rule)?),
[INFO] [stdout]    |                                         ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/reduce.rs:62:40
[INFO] [stdout]    |
[INFO] [stdout] 62 |             StageLam(alpha, box t) if !t.is_value_at(&vec![]) => {
[INFO] [stdout]    |                                        ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/reduce.rs:63:60
[INFO] [stdout]    |
[INFO] [stdout] 63 |                 Ok(StageLam(alpha, Box::new(reduce_context(t, &vec![], rule)?)))
[INFO] [stdout]    |                                                            ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/reduce.rs:65:40
[INFO] [stdout]    |
[INFO] [stdout] 65 |             StageApp(box t, stage) if !t.is_value_at(&vec![]) => {
[INFO] [stdout]    |                                        ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/reduce.rs:66:53
[INFO] [stdout]    |
[INFO] [stdout] 66 |                 Ok(StageApp(Box::new(reduce_context(t, &vec![], rule)?), stage))
[INFO] [stdout]    |                                                     ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `alpha` in this scope
[INFO] [stdout]   --> src/reduce.rs:69:49
[INFO] [stdout]    |
[INFO] [stdout] 69 |                 rule(StageApp(Box::new(StageLam(alpha, Box::new(t))), stage))
[INFO] [stdout]    |                                                 ^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/reduce.rs:69:65
[INFO] [stdout]    |
[INFO] [stdout] 69 |                 rule(StageApp(Box::new(StageLam(alpha, Box::new(t))), stage))
[INFO] [stdout]    |                                                                 ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]   --> src/reduce.rs:73:46
[INFO] [stdout]    |
[INFO] [stdout] 73 |                 App(Box::new(Lam(x, Box::new(ty), Box::new(t2))), Box::new(t1)),
[INFO] [stdout]    |                                              ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]   --> src/reduce.rs:73:60
[INFO] [stdout]    |
[INFO] [stdout] 73 |                 App(Box::new(Lam(x, Box::new(ty), Box::new(t2))), Box::new(t1)),
[INFO] [stdout]    |                                                            ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]   --> src/reduce.rs:73:76
[INFO] [stdout]    |
[INFO] [stdout] 73 |                 App(Box::new(Lam(x, Box::new(ty), Box::new(t2))), Box::new(t1)),
[INFO] [stdout]    |                                                                            ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]   --> src/reduce.rs:78:51
[INFO] [stdout]    |
[INFO] [stdout] 78 |                 let fix = Fix(x.clone(), Box::new(ty), Box::new(t.clone()));
[INFO] [stdout]    |                                                   ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/reduce.rs:78:65
[INFO] [stdout]    |
[INFO] [stdout] 78 |                 let fix = Fix(x.clone(), Box::new(ty), Box::new(t.clone()));
[INFO] [stdout]    |                                                                 ^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 78 -                 let fix = Fix(x.clone(), Box::new(ty), Box::new(t.clone()));
[INFO] [stdout] 78 +                 let fix = Fix(x.clone(), Box::new(ty), Box::new(x.clone()));
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/reduce.rs:79:20
[INFO] [stdout]    |
[INFO] [stdout] 79 |                 Ok(t.subst_term(x, fix))
[INFO] [stdout]    |                    ^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 79 -                 Ok(t.subst_term(x, fix))
[INFO] [stdout] 79 +                 Ok(x.subst_term(x, fix))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `cond` in this scope
[INFO] [stdout]   --> src/reduce.rs:81:46
[INFO] [stdout]    |
[INFO] [stdout] 81 |             Ifz(box cond, box t1, box t2) if cond.is_value_at(&vec![]) => {
[INFO] [stdout]    |                                              ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `cond` in this scope
[INFO] [stdout]   --> src/reduce.rs:82:55
[INFO] [stdout]    |
[INFO] [stdout] 82 |                 if let Term::Const(Literal::Int(n)) = cond {
[INFO] [stdout]    |                                                       ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]   --> src/reduce.rs:84:28
[INFO] [stdout]    |
[INFO] [stdout] 84 |                         Ok(t1)
[INFO] [stdout]    |                            ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]   --> src/reduce.rs:86:28
[INFO] [stdout]    |
[INFO] [stdout] 86 |                         Ok(t2)
[INFO] [stdout]    |                            ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `cond` in this scope
[INFO] [stdout]   --> src/reduce.rs:93:41
[INFO] [stdout]    |
[INFO] [stdout] 93 |                 Box::new(reduce_context(cond, stage, rule)?),
[INFO] [stdout]    |                                         ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]   --> src/reduce.rs:94:26
[INFO] [stdout]    |
[INFO] [stdout] 94 |                 Box::new(t1),
[INFO] [stdout]    |                          ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]   --> src/reduce.rs:95:26
[INFO] [stdout]    |
[INFO] [stdout] 95 |                 Box::new(t2),
[INFO] [stdout]    |                          ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:121:35
[INFO] [stdout]     |
[INFO] [stdout] 121 |             Lam(x, ty, box t) if !t.is_value_at(stage) => {
[INFO] [stdout]     |                                   ^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 121 |             Lam(x, ty, box t) if !ty.is_value_at(stage) => {
[INFO] [stdout]     |                                    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:122:55
[INFO] [stdout]     |
[INFO] [stdout] 122 |                 Ok(Lam(x, ty, Box::new(reduce_context(t, stage, rule)?)))
[INFO] [stdout]     |                                                       ^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 122 |                 Ok(Lam(x, ty, Box::new(reduce_context(ty, stage, rule)?)))
[INFO] [stdout]     |                                                        +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]    --> src/reduce.rs:124:37
[INFO] [stdout]     |
[INFO] [stdout] 124 |             App(box t1, box t2) if !t1.is_value_at(stage) => Ok(App(
[INFO] [stdout]     |                                     ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]    --> src/reduce.rs:125:41
[INFO] [stdout]     |
[INFO] [stdout] 125 |                 Box::new(reduce_context(t1, &vec![], rule)?),
[INFO] [stdout]     |                                         ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]    --> src/reduce.rs:126:26
[INFO] [stdout]     |
[INFO] [stdout] 126 |                 Box::new(t2),
[INFO] [stdout]     |                          ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]    --> src/reduce.rs:128:34
[INFO] [stdout]     |
[INFO] [stdout] 128 |             App(box v, box t) if v.is_value_at(stage) && !t.is_value_at(stage) => {
[INFO] [stdout]     |                                  ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:128:59
[INFO] [stdout]     |
[INFO] [stdout] 128 |             App(box v, box t) if v.is_value_at(stage) && !t.is_value_at(stage) => {
[INFO] [stdout]     |                                                           ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]    --> src/reduce.rs:129:33
[INFO] [stdout]     |
[INFO] [stdout] 129 |                 Ok(App(Box::new(v), Box::new(reduce_context(t, stage, rule)?)))
[INFO] [stdout]     |                                 ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:129:61
[INFO] [stdout]     |
[INFO] [stdout] 129 |                 Ok(App(Box::new(v), Box::new(reduce_context(t, stage, rule)?)))
[INFO] [stdout]     |                                                             ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v1` in this scope
[INFO] [stdout]    --> src/reduce.rs:131:36
[INFO] [stdout]     |
[INFO] [stdout] 131 |             App(box v1, box v2) if v1.is_value_at(stage) && v2.is_value_at(stage) => {
[INFO] [stdout]     |                                    ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v2` in this scope
[INFO] [stdout]    --> src/reduce.rs:131:61
[INFO] [stdout]     |
[INFO] [stdout] 131 |             App(box v1, box v2) if v1.is_value_at(stage) && v2.is_value_at(stage) => {
[INFO] [stdout]     |                                                             ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v1` in this scope
[INFO] [stdout]    --> src/reduce.rs:132:35
[INFO] [stdout]     |
[INFO] [stdout] 132 |                 rule(App(Box::new(v1), Box::new(v2)))
[INFO] [stdout]     |                                   ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v2` in this scope
[INFO] [stdout]    --> src/reduce.rs:132:49
[INFO] [stdout]     |
[INFO] [stdout] 132 |                 rule(App(Box::new(v1), Box::new(v2)))
[INFO] [stdout]     |                                                 ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `alpha_` in this scope
[INFO] [stdout]    --> src/reduce.rs:135:29
[INFO] [stdout]     |
[INFO] [stdout] 135 |                 if alpha == alpha_ && v.is_value_at(&vec![alpha.clone()]) =>
[INFO] [stdout]     |                             ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 135 -                 if alpha == alpha_ && v.is_value_at(&vec![alpha.clone()]) =>
[INFO] [stdout] 135 +                 if alpha == alpha && v.is_value_at(&vec![alpha.clone()]) =>
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]    --> src/reduce.rs:135:39
[INFO] [stdout]     |
[INFO] [stdout] 135 |                 if alpha == alpha_ && v.is_value_at(&vec![alpha.clone()]) =>
[INFO] [stdout]     |                                       ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `alpha_` in this scope
[INFO] [stdout]    --> src/reduce.rs:137:50
[INFO] [stdout]     |
[INFO] [stdout] 137 |                 rule(Escape(alpha, Box::new(Code(alpha_, Box::new(v)))))
[INFO] [stdout]     |                                                  ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 137 -                 rule(Escape(alpha, Box::new(Code(alpha_, Box::new(v)))))
[INFO] [stdout] 137 +                 rule(Escape(alpha, Box::new(Code(alpha, Box::new(v)))))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]    --> src/reduce.rs:137:67
[INFO] [stdout]     |
[INFO] [stdout] 137 |                 rule(Escape(alpha, Box::new(Code(alpha_, Box::new(v)))))
[INFO] [stdout]     |                                                                   ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:142:21
[INFO] [stdout]     |
[INFO] [stdout] 142 |                 if !t.is_value_at(&stage) {
[INFO] [stdout]     |                     ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:143:62
[INFO] [stdout]     |
[INFO] [stdout] 143 |                     rule(Code(alpha, Box::new(reduce_context(t, &stage, rule)?)))
[INFO] [stdout]     |                                                              ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:152:66
[INFO] [stdout]     |
[INFO] [stdout] 152 |                         Ok(Escape(alpha, Box::new(reduce_context(t, &stage, rule)?)))
[INFO] [stdout]     |                                                                  ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:160:40
[INFO] [stdout]     |
[INFO] [stdout] 160 |             StageLam(alpha, box t) if !t.is_value_at(stage) => {
[INFO] [stdout]     |                                        ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:161:60
[INFO] [stdout]     |
[INFO] [stdout] 161 |                 Ok(StageLam(alpha, Box::new(reduce_context(t, stage, rule)?)))
[INFO] [stdout]     |                                                            ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:163:40
[INFO] [stdout]     |
[INFO] [stdout] 163 |             StageApp(box t, stage) if !t.is_value_at(&stage) => {
[INFO] [stdout]     |                                        ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:164:53
[INFO] [stdout]     |
[INFO] [stdout] 164 |                 Ok(StageApp(Box::new(reduce_context(t, &stage, rule)?), stage))
[INFO] [stdout]     |                                                     ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `alpha` in this scope
[INFO] [stdout]    --> src/reduce.rs:167:49
[INFO] [stdout]     |
[INFO] [stdout] 167 |                 rule(StageApp(Box::new(StageLam(alpha, Box::new(t))), stage))
[INFO] [stdout]     |                                                 ^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:167:65
[INFO] [stdout]     |
[INFO] [stdout] 167 |                 rule(StageApp(Box::new(StageLam(alpha, Box::new(t))), stage))
[INFO] [stdout]     |                                                                 ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:172:44
[INFO] [stdout]     |
[INFO] [stdout] 172 |                     if alpha == alpha_ && !t.is_value_at(&stage) {
[INFO] [stdout]     |                                            ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:173:63
[INFO] [stdout]     |
[INFO] [stdout] 173 |                         Ok(CSP(alpha, Box::new(reduce_context(t, &stage, rule)?)))
[INFO] [stdout]     |                                                               ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]    --> src/reduce.rs:183:46
[INFO] [stdout]     |
[INFO] [stdout] 183 |                 App(Box::new(Lam(x, Box::new(ty), Box::new(t2))), Box::new(t1)),
[INFO] [stdout]     |                                              ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]    --> src/reduce.rs:183:60
[INFO] [stdout]     |
[INFO] [stdout] 183 |                 App(Box::new(Lam(x, Box::new(ty), Box::new(t2))), Box::new(t1)),
[INFO] [stdout]     |                                                            ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]    --> src/reduce.rs:183:76
[INFO] [stdout]     |
[INFO] [stdout] 183 |                 App(Box::new(Lam(x, Box::new(ty), Box::new(t2))), Box::new(t1)),
[INFO] [stdout]     |                                                                            ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]    --> src/reduce.rs:188:51
[INFO] [stdout]     |
[INFO] [stdout] 188 |                 let fix = Fix(x.clone(), Box::new(ty), Box::new(t.clone()));
[INFO] [stdout]     |                                                   ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:188:65
[INFO] [stdout]     |
[INFO] [stdout] 188 |                 let fix = Fix(x.clone(), Box::new(ty), Box::new(t.clone()));
[INFO] [stdout]     |                                                                 ^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 188 -                 let fix = Fix(x.clone(), Box::new(ty), Box::new(t.clone()));
[INFO] [stdout] 188 +                 let fix = Fix(x.clone(), Box::new(ty), Box::new(x.clone()));
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:189:20
[INFO] [stdout]     |
[INFO] [stdout] 189 |                 Ok(t.subst_term(x, fix))
[INFO] [stdout]     |                    ^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 189 -                 Ok(t.subst_term(x, fix))
[INFO] [stdout] 189 +                 Ok(x.subst_term(x, fix))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `cond` in this scope
[INFO] [stdout]    --> src/reduce.rs:191:46
[INFO] [stdout]     |
[INFO] [stdout] 191 |             Ifz(box cond, box t1, box t2) if cond.is_value_at(stage) => {
[INFO] [stdout]     |                                              ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `cond` in this scope
[INFO] [stdout]    --> src/reduce.rs:192:55
[INFO] [stdout]     |
[INFO] [stdout] 192 |                 if let Term::Const(Literal::Int(n)) = cond {
[INFO] [stdout]     |                                                       ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]    --> src/reduce.rs:194:28
[INFO] [stdout]     |
[INFO] [stdout] 194 |                         Ok(t1)
[INFO] [stdout]     |                            ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]    --> src/reduce.rs:196:28
[INFO] [stdout]     |
[INFO] [stdout] 196 |                         Ok(t2)
[INFO] [stdout]     |                            ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `cond` in this scope
[INFO] [stdout]    --> src/reduce.rs:203:41
[INFO] [stdout]     |
[INFO] [stdout] 203 |                 Box::new(reduce_context(cond, stage, rule)?),
[INFO] [stdout]     |                                         ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]    --> src/reduce.rs:204:26
[INFO] [stdout]     |
[INFO] [stdout] 204 |                 Box::new(t1),
[INFO] [stdout]     |                          ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]    --> src/reduce.rs:205:26
[INFO] [stdout]     |
[INFO] [stdout] 205 |                 Box::new(t2),
[INFO] [stdout]     |                          ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `arg_ty` in this scope
[INFO] [stdout]   --> src/type_check.rs:85:38
[INFO] [stdout]    |
[INFO] [stdout] 85 |             env.insert(var.clone(), (arg_ty.clone(), stage.clone()));
[INFO] [stdout]    |                                      ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/type_check.rs:86:42
[INFO] [stdout]    |
[INFO] [stdout] 86 |             let ret_ty = type_check_impl(t, stage, &env)?;
[INFO] [stdout]    |                                          ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `arg_ty` in this scope
[INFO] [stdout]   --> src/type_check.rs:89:26
[INFO] [stdout]    |
[INFO] [stdout] 89 |                 Box::new(arg_ty.clone()),
[INFO] [stdout]    |                          ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]   --> src/type_check.rs:94:38
[INFO] [stdout]    |
[INFO] [stdout] 94 |             let ty = type_check_impl(t1, stage, env)?;
[INFO] [stdout]    |                                      ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]   --> src/type_check.rs:96:46
[INFO] [stdout]    |
[INFO] [stdout] 96 |                 let arg_ty = type_check_impl(t2, stage, env)?;
[INFO] [stdout]    |                                              ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 96 -                 let arg_ty = type_check_impl(t2, stage, env)?;
[INFO] [stdout] 96 +                 let arg_ty = type_check_impl(ty, stage, env)?;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `param_ty` in this scope
[INFO] [stdout]   --> src/type_check.rs:97:31
[INFO] [stdout]    |
[INFO] [stdout] 97 |                 if &arg_ty == param_ty
[INFO] [stdout]    |                               ^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `param_ty` in this scope
[INFO] [stdout]    --> src/type_check.rs:100:33
[INFO] [stdout]     |
[INFO] [stdout] 100 |                         arg_ty, param_ty
[INFO] [stdout]     |                                 ^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `body_ty` in this scope
[INFO] [stdout]    --> src/type_check.rs:103:24
[INFO] [stdout]     |
[INFO] [stdout] 103 |                     Ok(body_ty.clone().subst_term(x.clone(), t2.clone()))
[INFO] [stdout]     |                        ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]    --> src/type_check.rs:103:62
[INFO] [stdout]     |
[INFO] [stdout] 103 |                     Ok(body_ty.clone().subst_term(x.clone(), t2.clone()))
[INFO] [stdout]     |                                                              ^^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 103 -                     Ok(body_ty.clone().subst_term(x.clone(), t2.clone()))
[INFO] [stdout] 103 +                     Ok(body_ty.clone().subst_term(x.clone(), ty.clone()))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `param_ty` in this scope
[INFO] [stdout]    --> src/type_check.rs:105:42
[INFO] [stdout]     |
[INFO] [stdout] 105 |                     Err(NotMatch(arg_ty, param_ty.clone(), stage.clone()))
[INFO] [stdout]     |                                          ^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]    --> src/type_check.rs:109:21
[INFO] [stdout]     |
[INFO] [stdout] 109 |                     t1.clone(),
[INFO] [stdout]     |                     ^^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 109 -                     t1.clone(),
[INFO] [stdout] 109 +                     ty.clone(),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/type_check.rs:119:38
[INFO] [stdout]     |
[INFO] [stdout] 119 |             let ty = type_check_impl(t, &stage, env)?;
[INFO] [stdout]     |                                      ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/type_check.rs:126:46
[INFO] [stdout]     |
[INFO] [stdout] 126 |                     let ty = type_check_impl(t, &stage, env)?;
[INFO] [stdout]     |                                              ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/type_check.rs:134:36
[INFO] [stdout]     |
[INFO] [stdout] 134 |                         Err(MustBe(t.clone(), ty, stage.clone(), "code".to_string()))
[INFO] [stdout]     |                                    ^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 134 |                         Err(MustBe(ty.clone(), ty, stage.clone(), "code".to_string()))
[INFO] [stdout]     |                                     +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/type_check.rs:144:38
[INFO] [stdout]     |
[INFO] [stdout] 144 |             let ty = type_check_impl(t, stage, env)?;
[INFO] [stdout]     |                                      ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/type_check.rs:148:65
[INFO] [stdout]     |
[INFO] [stdout] 148 |             if let Type::StageBind(alpha, ty) = type_check_impl(t, stage, env)? {
[INFO] [stdout]     |                                                                 ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/type_check.rs:160:37
[INFO] [stdout]     |
[INFO] [stdout] 160 |                     type_check_impl(t, &stage, env)
[INFO] [stdout]     |                                     ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]    --> src/type_check.rs:171:50
[INFO] [stdout]     |
[INFO] [stdout] 171 |                 Box::new(Lam(x.clone(), Box::new(ty.clone()), Box::new(t2.clone()))),
[INFO] [stdout]     |                                                  ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]    --> src/type_check.rs:171:72
[INFO] [stdout]     |
[INFO] [stdout] 171 |                 Box::new(Lam(x.clone(), Box::new(ty.clone()), Box::new(t2.clone()))),
[INFO] [stdout]     |                                                                        ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]    --> src/type_check.rs:172:26
[INFO] [stdout]     |
[INFO] [stdout] 172 |                 Box::new(t1.clone()),
[INFO] [stdout]     |                          ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]    --> src/type_check.rs:180:36
[INFO] [stdout]     |
[INFO] [stdout] 180 |             env.insert(x.clone(), (ty.clone(), stage.clone()));
[INFO] [stdout]     |                                    ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/type_check.rs:181:42
[INFO] [stdout]     |
[INFO] [stdout] 181 |             let ret_ty = type_check_impl(t, stage, &env)?;
[INFO] [stdout]     |                                          ^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 181 -             let ret_ty = type_check_impl(t, stage, &env)?;
[INFO] [stdout] 181 +             let ret_ty = type_check_impl(x, stage, &env)?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]    --> src/type_check.rs:182:79
[INFO] [stdout]     |
[INFO] [stdout] 182 |             if input_yes_or_no(&format!("are\n  {} and\n  {}\nsame? (y/n): ", ty, ret_ty)) {
[INFO] [stdout]     |                                                                               ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]    --> src/type_check.rs:185:30
[INFO] [stdout]     |
[INFO] [stdout] 185 |                 Err(NotMatch(ty.clone(), ret_ty, stage.clone()))
[INFO] [stdout]     |                              ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `cond` in this scope
[INFO] [stdout]    --> src/type_check.rs:189:43
[INFO] [stdout]     |
[INFO] [stdout] 189 |             let cond_ty = type_check_impl(cond, stage, env)?;
[INFO] [stdout]     |                                           ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]    --> src/type_check.rs:191:43
[INFO] [stdout]     |
[INFO] [stdout] 191 |                 let ty1 = type_check_impl(t1, stage, env)?;
[INFO] [stdout]     |                                           ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]    --> src/type_check.rs:192:43
[INFO] [stdout]     |
[INFO] [stdout] 192 |                 let ty2 = type_check_impl(t2, stage, env)?;
[INFO] [stdout]     |                                           ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `cond` in this scope
[INFO] [stdout]    --> src/type_check.rs:200:21
[INFO] [stdout]     |
[INFO] [stdout] 200 |                     cond.clone(),
[INFO] [stdout]     |                     ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `exclusive_range_pattern` has been stable since 1.80.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/main.rs:2:12
[INFO] [stdout]   |
[INFO] [stdout] 2 | #![feature(exclusive_range_pattern)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0425, E0557.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0425`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `dtmsc` (bin "dtmsc") due to 340 previous errors; 1 warning emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]   --> src/ast/printer.rs:47:17
[INFO] [stdout]    |
[INFO] [stdout] 47 |                 ty,
[INFO] [stdout]    |                 ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/ast/printer.rs:48:32
[INFO] [stdout]    |
[INFO] [stdout] 48 |                 TermWithIndent(t, indent + 2),
[INFO] [stdout]    |                                ^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 48 -                 TermWithIndent(t, indent + 2),
[INFO] [stdout] 48 +                 TermWithIndent(f, indent + 2),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]   --> src/ast/printer.rs:55:32
[INFO] [stdout]    |
[INFO] [stdout] 55 |                 TermWithIndent(t1, indent + 2),
[INFO] [stdout]    |                                ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]   --> src/ast/printer.rs:56:32
[INFO] [stdout]    |
[INFO] [stdout] 56 |                 TermWithIndent(t2, indent + 2),
[INFO] [stdout]    |                                ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/ast/printer.rs:59:63
[INFO] [stdout]    |
[INFO] [stdout] 59 |                 write!(f, "(|>{}. {})", ident, TermWithIndent(t, indent + 2))
[INFO] [stdout]    |                                                               ^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 59 -                 write!(f, "(|>{}. {})", ident, TermWithIndent(t, indent + 2))
[INFO] [stdout] 59 +                 write!(f, "(|>{}. {})", ident, TermWithIndent(f, indent + 2))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/ast/printer.rs:62:63
[INFO] [stdout]    |
[INFO] [stdout] 62 |                 write!(f, "(<|{}. {})", ident, TermWithIndent(t, indent + 2))
[INFO] [stdout]    |                                                               ^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 62 -                 write!(f, "(<|{}. {})", ident, TermWithIndent(t, indent + 2))
[INFO] [stdout] 62 +                 write!(f, "(<|{}. {})", ident, TermWithIndent(f, indent + 2))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/ast/printer.rs:68:32
[INFO] [stdout]    |
[INFO] [stdout] 68 |                 TermWithIndent(t, indent + 2),
[INFO] [stdout]    |                                ^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 68 -                 TermWithIndent(t, indent + 2),
[INFO] [stdout] 68 +                 TermWithIndent(f, indent + 2),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/ast/printer.rs:81:42
[INFO] [stdout]    |
[INFO] [stdout] 81 |                 write!(f, "({}@{{{}}})", t, stage)
[INFO] [stdout]    |                                          ^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 81 -                 write!(f, "({}@{{{}}})", t, stage)
[INFO] [stdout] 81 +                 write!(f, "({}@{{{}}})", f, stage)
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/ast/printer.rs:83:82
[INFO] [stdout]    |
[INFO] [stdout] 83 |             CSP(StageVar(ref ident), box ref t) => write!(f, "(%{}. {})", ident, t),
[INFO] [stdout]    |                                                                                  ^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 83 -             CSP(StageVar(ref ident), box ref t) => write!(f, "(%{}. {})", ident, t),
[INFO] [stdout] 83 +             CSP(StageVar(ref ident), box ref t) => write!(f, "(%{}. {})", ident, f),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]   --> src/ast/printer.rs:89:17
[INFO] [stdout]    |
[INFO] [stdout] 89 |                 ty,
[INFO] [stdout]    |                 ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]   --> src/ast/printer.rs:90:32
[INFO] [stdout]    |
[INFO] [stdout] 90 |                 TermWithIndent(t1, indent + 2),
[INFO] [stdout]    |                                ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]   --> src/ast/printer.rs:91:32
[INFO] [stdout]    |
[INFO] [stdout] 91 |                 TermWithIndent(t2, indent + 2),
[INFO] [stdout]    |                                ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]   --> src/ast/printer.rs:99:17
[INFO] [stdout]    |
[INFO] [stdout] 99 |                 ty,
[INFO] [stdout]    |                 ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/ast/printer.rs:100:32
[INFO] [stdout]     |
[INFO] [stdout] 100 |                 TermWithIndent(t, indent + 2),
[INFO] [stdout]     |                                ^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 100 -                 TermWithIndent(t, indent + 2),
[INFO] [stdout] 100 +                 TermWithIndent(f, indent + 2),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `cond` in this scope
[INFO] [stdout]    --> src/ast/printer.rs:107:32
[INFO] [stdout]     |
[INFO] [stdout] 107 |                 TermWithIndent(cond, indent + 2),
[INFO] [stdout]     |                                ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]    --> src/ast/printer.rs:108:32
[INFO] [stdout]     |
[INFO] [stdout] 108 |                 TermWithIndent(t1, indent + 2),
[INFO] [stdout]     |                                ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]    --> src/ast/printer.rs:109:32
[INFO] [stdout]     |
[INFO] [stdout] 109 |                 TermWithIndent(t2, indent + 2),
[INFO] [stdout]     |                                ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty1` in this scope
[INFO] [stdout]    --> src/ast/printer.rs:131:43
[INFO] [stdout]     |
[INFO] [stdout] 131 |                     write!(f, "{} -> {}", ty1, ty2)
[INFO] [stdout]     |                                           ^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty2` in this scope
[INFO] [stdout]    --> src/ast/printer.rs:131:48
[INFO] [stdout]     |
[INFO] [stdout] 131 |                     write!(f, "{} -> {}", ty1, ty2)
[INFO] [stdout]     |                                                ^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty1` in this scope
[INFO] [stdout]    --> src/ast/printer.rs:133:55
[INFO] [stdout]     |
[INFO] [stdout] 133 |                     write!(f, "Pi {}: {}. {}", ident, ty1, ty2)
[INFO] [stdout]     |                                                       ^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty2` in this scope
[INFO] [stdout]    --> src/ast/printer.rs:133:60
[INFO] [stdout]     |
[INFO] [stdout] 133 |                     write!(f, "Pi {}: {}. {}", ident, ty1, ty2)
[INFO] [stdout]     |                                                            ^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]    --> src/ast/printer.rs:136:62
[INFO] [stdout]     |
[INFO] [stdout] 136 |             App(box ref ty, box ref t) => write!(f, "{} {}", ty, t),
[INFO] [stdout]     |                                                              ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/ast/printer.rs:136:66
[INFO] [stdout]     |
[INFO] [stdout] 136 |             App(box ref ty, box ref t) => write!(f, "{} {}", ty, t),
[INFO] [stdout]     |                                                                  ^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 136 -             App(box ref ty, box ref t) => write!(f, "{} {}", ty, t),
[INFO] [stdout] 136 +             App(box ref ty, box ref t) => write!(f, "{} {}", ty, f),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]    --> src/ast/printer.rs:137:83
[INFO] [stdout]     |
[INFO] [stdout] 137 |             Code(StageVar(ref ident), box ref ty) => write!(f, "|>{}. {}", ident, ty),
[INFO] [stdout]     |                                                                                   ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]    --> src/ast/printer.rs:138:93
[INFO] [stdout]     |
[INFO] [stdout] 138 |             StageBind(StageVar(ref ident), box ref ty) => write!(f, "forall {}. {}", ident, ty),
[INFO] [stdout]     |                                                                                             ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]  --> src/ast/subst.rs:9:26
[INFO] [stdout]   |
[INFO] [stdout] 9 |                 Box::new(ty.subst_term(x.clone(), t.clone())),
[INFO] [stdout]   |                          ^^
[INFO] [stdout]   |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]   |
[INFO] [stdout] 9 -                 Box::new(ty.subst_term(x.clone(), t.clone())),
[INFO] [stdout] 9 +                 Box::new(t.subst_term(x.clone(), t.clone())),
[INFO] [stdout]   |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t_` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:10:26
[INFO] [stdout]    |
[INFO] [stdout] 10 |                 Box::new(t_.subst_term(x, t)),
[INFO] [stdout]    |                          ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 10 -                 Box::new(t_.subst_term(x, t)),
[INFO] [stdout] 10 +                 Box::new(t.subst_term(x, t)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:13:26
[INFO] [stdout]    |
[INFO] [stdout] 13 |                 Box::new(t1.subst_term(x.clone(), t.clone())),
[INFO] [stdout]    |                          ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 13 -                 Box::new(t1.subst_term(x.clone(), t.clone())),
[INFO] [stdout] 13 +                 Box::new(t.subst_term(x.clone(), t.clone())),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:14:26
[INFO] [stdout]    |
[INFO] [stdout] 14 |                 Box::new(t2.subst_term(x, t)),
[INFO] [stdout]    |                          ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 14 -                 Box::new(t2.subst_term(x, t)),
[INFO] [stdout] 14 +                 Box::new(t.subst_term(x, t)),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t_` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:16:77
[INFO] [stdout]    |
[INFO] [stdout] 16 |             Term::Code(stage_var, box t_) => Term::Code(stage_var, Box::new(t_.subst_term(x, t))),
[INFO] [stdout]    |                                                                             ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 16 -             Term::Code(stage_var, box t_) => Term::Code(stage_var, Box::new(t_.subst_term(x, t))),
[INFO] [stdout] 16 +             Term::Code(stage_var, box t_) => Term::Code(stage_var, Box::new(t.subst_term(x, t))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t_` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:18:50
[INFO] [stdout]    |
[INFO] [stdout] 18 |                 Term::Escape(stage_var, Box::new(t_.subst_term(x, t)))
[INFO] [stdout]    |                                                  ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 18 -                 Term::Escape(stage_var, Box::new(t_.subst_term(x, t)))
[INFO] [stdout] 18 +                 Term::Escape(stage_var, Box::new(t.subst_term(x, t)))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t_` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:21:52
[INFO] [stdout]    |
[INFO] [stdout] 21 |                 Term::StageLam(stage_var, Box::new(t_.subst_term(x, t)))
[INFO] [stdout]    |                                                    ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 21 -                 Term::StageLam(stage_var, Box::new(t_.subst_term(x, t)))
[INFO] [stdout] 21 +                 Term::StageLam(stage_var, Box::new(t.subst_term(x, t)))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t_` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:23:70
[INFO] [stdout]    |
[INFO] [stdout] 23 |             Term::StageApp(box t_, stage) => Term::StageApp(Box::new(t_.subst_term(x, t)), stage),
[INFO] [stdout]    |                                                                      ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 23 -             Term::StageApp(box t_, stage) => Term::StageApp(Box::new(t_.subst_term(x, t)), stage),
[INFO] [stdout] 23 +             Term::StageApp(box t_, stage) => Term::StageApp(Box::new(t.subst_term(x, t)), stage),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t_` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:24:75
[INFO] [stdout]    |
[INFO] [stdout] 24 |             Term::CSP(stage_var, box t_) => Term::CSP(stage_var, Box::new(t_.subst_term(x, t))),
[INFO] [stdout]    |                                                                           ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 24 -             Term::CSP(stage_var, box t_) => Term::CSP(stage_var, Box::new(t_.subst_term(x, t))),
[INFO] [stdout] 24 +             Term::CSP(stage_var, box t_) => Term::CSP(stage_var, Box::new(t.subst_term(x, t))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:32:54
[INFO] [stdout]    |
[INFO] [stdout] 32 |             Lam(x, box ty, box t) => Lam(x, Box::new(ty), Box::new(t.subst_stage(a, stage))),
[INFO] [stdout]    |                                                      ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:32:68
[INFO] [stdout]    |
[INFO] [stdout] 32 |             Lam(x, box ty, box t) => Lam(x, Box::new(ty), Box::new(t.subst_stage(a, stage))),
[INFO] [stdout]    |                                                                    ^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 32 -             Lam(x, box ty, box t) => Lam(x, Box::new(ty), Box::new(t.subst_stage(a, stage))),
[INFO] [stdout] 32 +             Lam(x, box ty, box t) => Lam(x, Box::new(ty), Box::new(a.subst_stage(a, stage))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:34:26
[INFO] [stdout]    |
[INFO] [stdout] 34 |                 Box::new(t1.subst_stage(a.clone(), stage.clone())),
[INFO] [stdout]    |                          ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:35:26
[INFO] [stdout]    |
[INFO] [stdout] 35 |                 Box::new(t2.subst_stage(a, stage)),
[INFO] [stdout]    |                          ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:38:25
[INFO] [stdout]    |
[INFO] [stdout] 38 |                 let t = t.subst_stage(a, stage.clone());
[INFO] [stdout]    |                         ^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 38 -                 let t = t.subst_stage(a, stage.clone());
[INFO] [stdout] 38 +                 let t = a.subst_stage(a, stage.clone());
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:44:64
[INFO] [stdout]    |
[INFO] [stdout] 44 |             Code(stage_var, box t) => Code(stage_var, Box::new(t.subst_stage(a, stage))),
[INFO] [stdout]    |                                                                ^
[INFO] [stdout]    |
[INFO] [stdout] help: the binding `t` is available in a different scope in the same function
[INFO] [stdout]   --> src/ast/subst.rs:38:21
[INFO] [stdout]    |
[INFO] [stdout] 38 |                 let t = t.subst_stage(a, stage.clone());
[INFO] [stdout]    |                     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:46:25
[INFO] [stdout]    |
[INFO] [stdout] 46 |                 let t = t.subst_stage(a, stage.clone());
[INFO] [stdout]    |                         ^
[INFO] [stdout]    |
[INFO] [stdout] help: the binding `t` is available in a different scope in the same function
[INFO] [stdout]   --> src/ast/subst.rs:38:21
[INFO] [stdout]    |
[INFO] [stdout] 38 |                 let t = t.subst_stage(a, stage.clone());
[INFO] [stdout]    |                     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:51:68
[INFO] [stdout]    |
[INFO] [stdout] 51 |             Escape(stage_var, box t) => Escape(stage_var, Box::new(t.subst_stage(a, stage))),
[INFO] [stdout]    |                                                                    ^
[INFO] [stdout]    |
[INFO] [stdout] help: the binding `t` is available in a different scope in the same function
[INFO] [stdout]   --> src/ast/subst.rs:46:21
[INFO] [stdout]    |
[INFO] [stdout] 46 |                 let t = t.subst_stage(a, stage.clone());
[INFO] [stdout]    |                     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t_` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:53:46
[INFO] [stdout]    |
[INFO] [stdout] 53 |                 StageLam(stage_var, Box::new(t_.subst_stage(a, stage)))
[INFO] [stdout]    |                                              ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:55:58
[INFO] [stdout]    |
[INFO] [stdout] 55 |             StageApp(box t, stage_) => StageApp(Box::new(t.subst_stage(a, stage)), stage_),
[INFO] [stdout]    |                                                          ^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 55 -             StageApp(box t, stage_) => StageApp(Box::new(t.subst_stage(a, stage)), stage_),
[INFO] [stdout] 55 +             StageApp(box t, stage_) => StageApp(Box::new(a.subst_stage(a, stage)), stage_),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:57:25
[INFO] [stdout]    |
[INFO] [stdout] 57 |                 let t = t.subst_stage(a, stage.clone());
[INFO] [stdout]    |                         ^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 57 -                 let t = t.subst_stage(a, stage.clone());
[INFO] [stdout] 57 +                 let t = a.subst_stage(a, stage.clone());
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:62:62
[INFO] [stdout]    |
[INFO] [stdout] 62 |             CSP(stage_var, box t) => CSP(stage_var, Box::new(t.subst_stage(a, stage))),
[INFO] [stdout]    |                                                              ^
[INFO] [stdout]    |
[INFO] [stdout] help: the binding `t` is available in a different scope in the same function
[INFO] [stdout]   --> src/ast/subst.rs:57:21
[INFO] [stdout]    |
[INFO] [stdout] 57 |                 let t = t.subst_stage(a, stage.clone());
[INFO] [stdout]    |                     ^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty1` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:76:26
[INFO] [stdout]    |
[INFO] [stdout] 76 |                 Box::new(ty1.subst_term(x.clone(), t.clone())),
[INFO] [stdout]    |                          ^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty2` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:77:26
[INFO] [stdout]    |
[INFO] [stdout] 77 |                 Box::new(ty2.subst_term(x, t)),
[INFO] [stdout]    |                          ^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty1` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:80:45
[INFO] [stdout]    |
[INFO] [stdout] 80 |                 DepFun(x_.clone(), Box::new(ty1.clone()), Box::new(ty2.clone()))
[INFO] [stdout]    |                                             ^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty2` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:80:68
[INFO] [stdout]    |
[INFO] [stdout] 80 |                 DepFun(x_.clone(), Box::new(ty1.clone()), Box::new(ty2.clone()))
[INFO] [stdout]    |                                                                    ^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:83:26
[INFO] [stdout]    |
[INFO] [stdout] 83 |                 Box::new(ty.subst_term(x.clone(), t.clone())),
[INFO] [stdout]    |                          ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 83 -                 Box::new(ty.subst_term(x.clone(), t.clone())),
[INFO] [stdout] 83 +                 Box::new(t.subst_term(x.clone(), t.clone())),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `arg` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:84:26
[INFO] [stdout]    |
[INFO] [stdout] 84 |                 Box::new(arg.subst_term(x, t)),
[INFO] [stdout]    |                          ^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:86:57
[INFO] [stdout]    |
[INFO] [stdout] 86 |             Code(alpha, box ty) => Code(alpha, Box::new(ty.subst_term(x, t))),
[INFO] [stdout]    |                                                         ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 86 -             Code(alpha, box ty) => Code(alpha, Box::new(ty.subst_term(x, t))),
[INFO] [stdout] 86 +             Code(alpha, box ty) => Code(alpha, Box::new(t.subst_term(x, t))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:87:67
[INFO] [stdout]    |
[INFO] [stdout] 87 |             StageBind(alpha, box ty) => StageBind(alpha, Box::new(ty.subst_term(x, t))),
[INFO] [stdout]    |                                                                   ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 87 -             StageBind(alpha, box ty) => StageBind(alpha, Box::new(ty.subst_term(x, t))),
[INFO] [stdout] 87 +             StageBind(alpha, box ty) => StageBind(alpha, Box::new(t.subst_term(x, t))),
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty1` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:98:26
[INFO] [stdout]    |
[INFO] [stdout] 98 |                 Box::new(ty1.subst_stage(alpha.clone(), stage.clone())),
[INFO] [stdout]    |                          ^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty2` in this scope
[INFO] [stdout]   --> src/ast/subst.rs:99:26
[INFO] [stdout]    |
[INFO] [stdout] 99 |                 Box::new(ty2.subst_stage(alpha, stage)),
[INFO] [stdout]    |                          ^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]    --> src/ast/subst.rs:102:26
[INFO] [stdout]     |
[INFO] [stdout] 102 |                 Box::new(ty.subst_stage(alpha.clone(), stage.clone())),
[INFO] [stdout]     |                          ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `arg` in this scope
[INFO] [stdout]    --> src/ast/subst.rs:103:26
[INFO] [stdout]     |
[INFO] [stdout] 103 |                 Box::new(arg.subst_stage(alpha, stage)),
[INFO] [stdout]     |                          ^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]    --> src/ast/subst.rs:106:26
[INFO] [stdout]     |
[INFO] [stdout] 106 |                 let ty = ty.subst_stage(alpha, stage.clone());
[INFO] [stdout]     |                          ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]    --> src/ast/subst.rs:112:65
[INFO] [stdout]     |
[INFO] [stdout] 112 |             Code(alpha, box ty) => Code(alpha.clone(), Box::new(ty.subst_stage(alpha, stage))),
[INFO] [stdout]     |                                                                 ^^
[INFO] [stdout]     |
[INFO] [stdout] help: the binding `ty` is available in a different scope in the same function
[INFO] [stdout]    --> src/ast/subst.rs:106:21
[INFO] [stdout]     |
[INFO] [stdout] 106 |                 let ty = ty.subst_stage(alpha, stage.clone());
[INFO] [stdout]     |                     ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]    --> src/ast/subst.rs:114:51
[INFO] [stdout]     |
[INFO] [stdout] 114 |                 StageBind(alpha.clone(), Box::new(ty.subst_stage(alpha, stage)))
[INFO] [stdout]     |                                                   ^^
[INFO] [stdout]     |
[INFO] [stdout] help: the binding `ty` is available in a different scope in the same function
[INFO] [stdout]    --> src/ast/subst.rs:106:21
[INFO] [stdout]     |
[INFO] [stdout] 106 |                 let ty = ty.subst_stage(alpha, stage.clone());
[INFO] [stdout]     |                     ^^
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]   --> src/ast/util.rs:23:47
[INFO] [stdout]    |
[INFO] [stdout] 23 |                 Code(ref alpha, box ref v) => v.is_value_at(&vec![alpha.clone()]),
[INFO] [stdout]    |                                               ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]   --> src/ast/util.rs:24:43
[INFO] [stdout]    |
[INFO] [stdout] 24 |                 StageLam(_, box ref v) => v.is_value_at(&vec![]),
[INFO] [stdout]    |                                           ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]   --> src/ast/util.rs:30:41
[INFO] [stdout]    |
[INFO] [stdout] 30 |                 Lam(_, _, box ref v) => v.is_value_at(stage),
[INFO] [stdout]    |                                         ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v1` in this scope
[INFO] [stdout]   --> src/ast/util.rs:31:48
[INFO] [stdout]    |
[INFO] [stdout] 31 |                 App(box ref v1, box ref v2) => v1.is_value_at(stage) && v2.is_value_at(stage),
[INFO] [stdout]    |                                                ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v2` in this scope
[INFO] [stdout]   --> src/ast/util.rs:31:73
[INFO] [stdout]    |
[INFO] [stdout] 31 |                 App(box ref v1, box ref v2) => v1.is_value_at(stage) && v2.is_value_at(stage),
[INFO] [stdout]    |                                                                         ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]   --> src/ast/util.rs:35:21
[INFO] [stdout]    |
[INFO] [stdout] 35 |                     v.is_value_at(&stage)
[INFO] [stdout]    |                     ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]   --> src/ast/util.rs:37:43
[INFO] [stdout]    |
[INFO] [stdout] 37 |                 StageLam(_, box ref v) => v.is_value_at(stage),
[INFO] [stdout]    |                                           ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]   --> src/ast/util.rs:38:43
[INFO] [stdout]    |
[INFO] [stdout] 38 |                 StageApp(box ref v, _) => v.is_value_at(stage),
[INFO] [stdout]    |                                           ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]   --> src/ast/util.rs:42:45
[INFO] [stdout]    |
[INFO] [stdout] 42 |                         alpha == &alpha_ && v.is_value_at(&stage)
[INFO] [stdout]    |                                             ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]   --> src/ast/util.rs:50:45
[INFO] [stdout]    |
[INFO] [stdout] 50 |                         alpha == &alpha_ && v.is_value_at(&stage)
[INFO] [stdout]    |                                             ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]  --> src/reduce.rs:9:49
[INFO] [stdout]   |
[INFO] [stdout] 9 |                 App(box Lam(x, _, t), box v) if v.is_value_at(&vec![]) => Ok(t.subst_term(x, v)),
[INFO] [stdout]   |                                                 ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]  --> src/reduce.rs:9:78
[INFO] [stdout]   |
[INFO] [stdout] 9 |                 App(box Lam(x, _, t), box v) if v.is_value_at(&vec![]) => Ok(t.subst_term(x, v)),
[INFO] [stdout]   |                                                                              ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `x` in this scope
[INFO] [stdout]  --> src/reduce.rs:9:91
[INFO] [stdout]   |
[INFO] [stdout] 9 |                 App(box Lam(x, _, t), box v) if v.is_value_at(&vec![]) => Ok(t.subst_term(x, v)),
[INFO] [stdout]   |                                                                                           ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]  --> src/reduce.rs:9:94
[INFO] [stdout]   |
[INFO] [stdout] 9 |                 App(box Lam(x, _, t), box v) if v.is_value_at(&vec![]) => Ok(t.subst_term(x, v)),
[INFO] [stdout]   |                                                                                              ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]   --> src/reduce.rs:10:64
[INFO] [stdout]    |
[INFO] [stdout] 10 |                 StageApp(box StageLam(alpha, box v), stage) if v.is_value_at(&vec![]) => {
[INFO] [stdout]    |                                                                ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]   --> src/reduce.rs:11:24
[INFO] [stdout]    |
[INFO] [stdout] 11 |                     Ok(v.subst_stage(alpha, stage))
[INFO] [stdout]    |                        ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `alpha` in this scope
[INFO] [stdout]   --> src/reduce.rs:11:38
[INFO] [stdout]    |
[INFO] [stdout] 11 |                     Ok(v.subst_stage(alpha, stage))
[INFO] [stdout]    |                                      ^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `stage_var2` in this scope
[INFO] [stdout]   --> src/reduce.rs:14:38
[INFO] [stdout]    |
[INFO] [stdout] 14 |                     if stage_var1 == stage_var2 && v.is_value_at(&vec![stage_var1.clone()]) =>
[INFO] [stdout]    |                                      ^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 14 -                     if stage_var1 == stage_var2 && v.is_value_at(&vec![stage_var1.clone()]) =>
[INFO] [stdout] 14 +                     if stage_var1 == stage_var1 && v.is_value_at(&vec![stage_var1.clone()]) =>
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]   --> src/reduce.rs:14:52
[INFO] [stdout]    |
[INFO] [stdout] 14 |                     if stage_var1 == stage_var2 && v.is_value_at(&vec![stage_var1.clone()]) =>
[INFO] [stdout]    |                                                    ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]   --> src/reduce.rs:16:24
[INFO] [stdout]    |
[INFO] [stdout] 16 |                     Ok(v)
[INFO] [stdout]    |                        ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `op` in this scope
[INFO] [stdout]   --> src/reduce.rs:39:46
[INFO] [stdout]    |
[INFO] [stdout] 39 |             ) => Ok(Const(Literal::Int(match op {
[INFO] [stdout]    |                                              ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `n1` in this scope
[INFO] [stdout]   --> src/reduce.rs:40:33
[INFO] [stdout]    |
[INFO] [stdout] 40 |                 Literal::Add => n1 + n2,
[INFO] [stdout]    |                                 ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `n2` in this scope
[INFO] [stdout]   --> src/reduce.rs:40:38
[INFO] [stdout]    |
[INFO] [stdout] 40 |                 Literal::Add => n1 + n2,
[INFO] [stdout]    |                                      ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `n1` in this scope
[INFO] [stdout]   --> src/reduce.rs:41:33
[INFO] [stdout]    |
[INFO] [stdout] 41 |                 Literal::Sub => n1 - n2,
[INFO] [stdout]    |                                 ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `n2` in this scope
[INFO] [stdout]   --> src/reduce.rs:41:38
[INFO] [stdout]    |
[INFO] [stdout] 41 |                 Literal::Sub => n1 - n2,
[INFO] [stdout]    |                                      ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `n1` in this scope
[INFO] [stdout]   --> src/reduce.rs:42:34
[INFO] [stdout]    |
[INFO] [stdout] 42 |                 Literal::Mult => n1 * n2,
[INFO] [stdout]    |                                  ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `n2` in this scope
[INFO] [stdout]   --> src/reduce.rs:42:39
[INFO] [stdout]    |
[INFO] [stdout] 42 |                 Literal::Mult => n1 * n2,
[INFO] [stdout]    |                                       ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `n1` in this scope
[INFO] [stdout]   --> src/reduce.rs:43:33
[INFO] [stdout]    |
[INFO] [stdout] 43 |                 Literal::Div => n1 / n2,
[INFO] [stdout]    |                                 ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `n2` in this scope
[INFO] [stdout]   --> src/reduce.rs:43:38
[INFO] [stdout]    |
[INFO] [stdout] 43 |                 Literal::Div => n1 / n2,
[INFO] [stdout]    |                                      ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]   --> src/reduce.rs:47:37
[INFO] [stdout]    |
[INFO] [stdout] 47 |             App(box t1, box t2) if !t1.is_value_at(&vec![]) => Ok(App(
[INFO] [stdout]    |                                     ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]   --> src/reduce.rs:48:41
[INFO] [stdout]    |
[INFO] [stdout] 48 |                 Box::new(reduce_context(t1, &vec![], rule)?),
[INFO] [stdout]    |                                         ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]   --> src/reduce.rs:49:26
[INFO] [stdout]    |
[INFO] [stdout] 49 |                 Box::new(t2),
[INFO] [stdout]    |                          ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]   --> src/reduce.rs:51:34
[INFO] [stdout]    |
[INFO] [stdout] 51 |             App(box v, box t) if v.is_value_at(&vec![]) && !t.is_value_at(&vec![]) => Ok(App(
[INFO] [stdout]    |                                  ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/reduce.rs:51:61
[INFO] [stdout]    |
[INFO] [stdout] 51 |             App(box v, box t) if v.is_value_at(&vec![]) && !t.is_value_at(&vec![]) => Ok(App(
[INFO] [stdout]    |                                                             ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]   --> src/reduce.rs:52:26
[INFO] [stdout]    |
[INFO] [stdout] 52 |                 Box::new(v),
[INFO] [stdout]    |                          ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/reduce.rs:53:41
[INFO] [stdout]    |
[INFO] [stdout] 53 |                 Box::new(reduce_context(t, &vec![], rule)?),
[INFO] [stdout]    |                                         ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v1` in this scope
[INFO] [stdout]   --> src/reduce.rs:55:36
[INFO] [stdout]    |
[INFO] [stdout] 55 |             App(box v1, box v2) if v1.is_value_at(&vec![]) && v2.is_value_at(&vec![]) => {
[INFO] [stdout]    |                                    ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v2` in this scope
[INFO] [stdout]   --> src/reduce.rs:55:63
[INFO] [stdout]    |
[INFO] [stdout] 55 |             App(box v1, box v2) if v1.is_value_at(&vec![]) && v2.is_value_at(&vec![]) => {
[INFO] [stdout]    |                                                               ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v1` in this scope
[INFO] [stdout]   --> src/reduce.rs:56:35
[INFO] [stdout]    |
[INFO] [stdout] 56 |                 rule(App(Box::new(v1), Box::new(v2)))
[INFO] [stdout]    |                                   ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v2` in this scope
[INFO] [stdout]   --> src/reduce.rs:56:49
[INFO] [stdout]    |
[INFO] [stdout] 56 |                 rule(App(Box::new(v1), Box::new(v2)))
[INFO] [stdout]    |                                                 ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/reduce.rs:58:36
[INFO] [stdout]    |
[INFO] [stdout] 58 |             Code(alpha, box t) if !t.is_value_at(&vec![alpha.clone()]) => Ok(Code(
[INFO] [stdout]    |                                    ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/reduce.rs:60:41
[INFO] [stdout]    |
[INFO] [stdout] 60 |                 Box::new(reduce_context(t, &vec![alpha.clone()], rule)?),
[INFO] [stdout]    |                                         ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/reduce.rs:62:40
[INFO] [stdout]    |
[INFO] [stdout] 62 |             StageLam(alpha, box t) if !t.is_value_at(&vec![]) => {
[INFO] [stdout]    |                                        ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/reduce.rs:63:60
[INFO] [stdout]    |
[INFO] [stdout] 63 |                 Ok(StageLam(alpha, Box::new(reduce_context(t, &vec![], rule)?)))
[INFO] [stdout]    |                                                            ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/reduce.rs:65:40
[INFO] [stdout]    |
[INFO] [stdout] 65 |             StageApp(box t, stage) if !t.is_value_at(&vec![]) => {
[INFO] [stdout]    |                                        ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/reduce.rs:66:53
[INFO] [stdout]    |
[INFO] [stdout] 66 |                 Ok(StageApp(Box::new(reduce_context(t, &vec![], rule)?), stage))
[INFO] [stdout]    |                                                     ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `alpha` in this scope
[INFO] [stdout]   --> src/reduce.rs:69:49
[INFO] [stdout]    |
[INFO] [stdout] 69 |                 rule(StageApp(Box::new(StageLam(alpha, Box::new(t))), stage))
[INFO] [stdout]    |                                                 ^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/reduce.rs:69:65
[INFO] [stdout]    |
[INFO] [stdout] 69 |                 rule(StageApp(Box::new(StageLam(alpha, Box::new(t))), stage))
[INFO] [stdout]    |                                                                 ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]   --> src/reduce.rs:73:46
[INFO] [stdout]    |
[INFO] [stdout] 73 |                 App(Box::new(Lam(x, Box::new(ty), Box::new(t2))), Box::new(t1)),
[INFO] [stdout]    |                                              ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]   --> src/reduce.rs:73:60
[INFO] [stdout]    |
[INFO] [stdout] 73 |                 App(Box::new(Lam(x, Box::new(ty), Box::new(t2))), Box::new(t1)),
[INFO] [stdout]    |                                                            ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]   --> src/reduce.rs:73:76
[INFO] [stdout]    |
[INFO] [stdout] 73 |                 App(Box::new(Lam(x, Box::new(ty), Box::new(t2))), Box::new(t1)),
[INFO] [stdout]    |                                                                            ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]   --> src/reduce.rs:78:51
[INFO] [stdout]    |
[INFO] [stdout] 78 |                 let fix = Fix(x.clone(), Box::new(ty), Box::new(t.clone()));
[INFO] [stdout]    |                                                   ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/reduce.rs:78:65
[INFO] [stdout]    |
[INFO] [stdout] 78 |                 let fix = Fix(x.clone(), Box::new(ty), Box::new(t.clone()));
[INFO] [stdout]    |                                                                 ^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 78 -                 let fix = Fix(x.clone(), Box::new(ty), Box::new(t.clone()));
[INFO] [stdout] 78 +                 let fix = Fix(x.clone(), Box::new(ty), Box::new(x.clone()));
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/reduce.rs:79:20
[INFO] [stdout]    |
[INFO] [stdout] 79 |                 Ok(t.subst_term(x, fix))
[INFO] [stdout]    |                    ^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 79 -                 Ok(t.subst_term(x, fix))
[INFO] [stdout] 79 +                 Ok(x.subst_term(x, fix))
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `cond` in this scope
[INFO] [stdout]   --> src/reduce.rs:81:46
[INFO] [stdout]    |
[INFO] [stdout] 81 |             Ifz(box cond, box t1, box t2) if cond.is_value_at(&vec![]) => {
[INFO] [stdout]    |                                              ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `cond` in this scope
[INFO] [stdout]   --> src/reduce.rs:82:55
[INFO] [stdout]    |
[INFO] [stdout] 82 |                 if let Term::Const(Literal::Int(n)) = cond {
[INFO] [stdout]    |                                                       ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]   --> src/reduce.rs:84:28
[INFO] [stdout]    |
[INFO] [stdout] 84 |                         Ok(t1)
[INFO] [stdout]    |                            ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]   --> src/reduce.rs:86:28
[INFO] [stdout]    |
[INFO] [stdout] 86 |                         Ok(t2)
[INFO] [stdout]    |                            ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `cond` in this scope
[INFO] [stdout]   --> src/reduce.rs:93:41
[INFO] [stdout]    |
[INFO] [stdout] 93 |                 Box::new(reduce_context(cond, stage, rule)?),
[INFO] [stdout]    |                                         ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]   --> src/reduce.rs:94:26
[INFO] [stdout]    |
[INFO] [stdout] 94 |                 Box::new(t1),
[INFO] [stdout]    |                          ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]   --> src/reduce.rs:95:26
[INFO] [stdout]    |
[INFO] [stdout] 95 |                 Box::new(t2),
[INFO] [stdout]    |                          ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:121:35
[INFO] [stdout]     |
[INFO] [stdout] 121 |             Lam(x, ty, box t) if !t.is_value_at(stage) => {
[INFO] [stdout]     |                                   ^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 121 |             Lam(x, ty, box t) if !ty.is_value_at(stage) => {
[INFO] [stdout]     |                                    +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:122:55
[INFO] [stdout]     |
[INFO] [stdout] 122 |                 Ok(Lam(x, ty, Box::new(reduce_context(t, stage, rule)?)))
[INFO] [stdout]     |                                                       ^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 122 |                 Ok(Lam(x, ty, Box::new(reduce_context(ty, stage, rule)?)))
[INFO] [stdout]     |                                                        +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]    --> src/reduce.rs:124:37
[INFO] [stdout]     |
[INFO] [stdout] 124 |             App(box t1, box t2) if !t1.is_value_at(stage) => Ok(App(
[INFO] [stdout]     |                                     ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]    --> src/reduce.rs:125:41
[INFO] [stdout]     |
[INFO] [stdout] 125 |                 Box::new(reduce_context(t1, &vec![], rule)?),
[INFO] [stdout]     |                                         ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]    --> src/reduce.rs:126:26
[INFO] [stdout]     |
[INFO] [stdout] 126 |                 Box::new(t2),
[INFO] [stdout]     |                          ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]    --> src/reduce.rs:128:34
[INFO] [stdout]     |
[INFO] [stdout] 128 |             App(box v, box t) if v.is_value_at(stage) && !t.is_value_at(stage) => {
[INFO] [stdout]     |                                  ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:128:59
[INFO] [stdout]     |
[INFO] [stdout] 128 |             App(box v, box t) if v.is_value_at(stage) && !t.is_value_at(stage) => {
[INFO] [stdout]     |                                                           ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]    --> src/reduce.rs:129:33
[INFO] [stdout]     |
[INFO] [stdout] 129 |                 Ok(App(Box::new(v), Box::new(reduce_context(t, stage, rule)?)))
[INFO] [stdout]     |                                 ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:129:61
[INFO] [stdout]     |
[INFO] [stdout] 129 |                 Ok(App(Box::new(v), Box::new(reduce_context(t, stage, rule)?)))
[INFO] [stdout]     |                                                             ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v1` in this scope
[INFO] [stdout]    --> src/reduce.rs:131:36
[INFO] [stdout]     |
[INFO] [stdout] 131 |             App(box v1, box v2) if v1.is_value_at(stage) && v2.is_value_at(stage) => {
[INFO] [stdout]     |                                    ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v2` in this scope
[INFO] [stdout]    --> src/reduce.rs:131:61
[INFO] [stdout]     |
[INFO] [stdout] 131 |             App(box v1, box v2) if v1.is_value_at(stage) && v2.is_value_at(stage) => {
[INFO] [stdout]     |                                                             ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v1` in this scope
[INFO] [stdout]    --> src/reduce.rs:132:35
[INFO] [stdout]     |
[INFO] [stdout] 132 |                 rule(App(Box::new(v1), Box::new(v2)))
[INFO] [stdout]     |                                   ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v2` in this scope
[INFO] [stdout]    --> src/reduce.rs:132:49
[INFO] [stdout]     |
[INFO] [stdout] 132 |                 rule(App(Box::new(v1), Box::new(v2)))
[INFO] [stdout]     |                                                 ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `alpha_` in this scope
[INFO] [stdout]    --> src/reduce.rs:135:29
[INFO] [stdout]     |
[INFO] [stdout] 135 |                 if alpha == alpha_ && v.is_value_at(&vec![alpha.clone()]) =>
[INFO] [stdout]     |                             ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 135 -                 if alpha == alpha_ && v.is_value_at(&vec![alpha.clone()]) =>
[INFO] [stdout] 135 +                 if alpha == alpha && v.is_value_at(&vec![alpha.clone()]) =>
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]    --> src/reduce.rs:135:39
[INFO] [stdout]     |
[INFO] [stdout] 135 |                 if alpha == alpha_ && v.is_value_at(&vec![alpha.clone()]) =>
[INFO] [stdout]     |                                       ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `alpha_` in this scope
[INFO] [stdout]    --> src/reduce.rs:137:50
[INFO] [stdout]     |
[INFO] [stdout] 137 |                 rule(Escape(alpha, Box::new(Code(alpha_, Box::new(v)))))
[INFO] [stdout]     |                                                  ^^^^^^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 137 -                 rule(Escape(alpha, Box::new(Code(alpha_, Box::new(v)))))
[INFO] [stdout] 137 +                 rule(Escape(alpha, Box::new(Code(alpha, Box::new(v)))))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `v` in this scope
[INFO] [stdout]    --> src/reduce.rs:137:67
[INFO] [stdout]     |
[INFO] [stdout] 137 |                 rule(Escape(alpha, Box::new(Code(alpha_, Box::new(v)))))
[INFO] [stdout]     |                                                                   ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:142:21
[INFO] [stdout]     |
[INFO] [stdout] 142 |                 if !t.is_value_at(&stage) {
[INFO] [stdout]     |                     ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:143:62
[INFO] [stdout]     |
[INFO] [stdout] 143 |                     rule(Code(alpha, Box::new(reduce_context(t, &stage, rule)?)))
[INFO] [stdout]     |                                                              ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:152:66
[INFO] [stdout]     |
[INFO] [stdout] 152 |                         Ok(Escape(alpha, Box::new(reduce_context(t, &stage, rule)?)))
[INFO] [stdout]     |                                                                  ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:160:40
[INFO] [stdout]     |
[INFO] [stdout] 160 |             StageLam(alpha, box t) if !t.is_value_at(stage) => {
[INFO] [stdout]     |                                        ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:161:60
[INFO] [stdout]     |
[INFO] [stdout] 161 |                 Ok(StageLam(alpha, Box::new(reduce_context(t, stage, rule)?)))
[INFO] [stdout]     |                                                            ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:163:40
[INFO] [stdout]     |
[INFO] [stdout] 163 |             StageApp(box t, stage) if !t.is_value_at(&stage) => {
[INFO] [stdout]     |                                        ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:164:53
[INFO] [stdout]     |
[INFO] [stdout] 164 |                 Ok(StageApp(Box::new(reduce_context(t, &stage, rule)?), stage))
[INFO] [stdout]     |                                                     ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `alpha` in this scope
[INFO] [stdout]    --> src/reduce.rs:167:49
[INFO] [stdout]     |
[INFO] [stdout] 167 |                 rule(StageApp(Box::new(StageLam(alpha, Box::new(t))), stage))
[INFO] [stdout]     |                                                 ^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:167:65
[INFO] [stdout]     |
[INFO] [stdout] 167 |                 rule(StageApp(Box::new(StageLam(alpha, Box::new(t))), stage))
[INFO] [stdout]     |                                                                 ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:172:44
[INFO] [stdout]     |
[INFO] [stdout] 172 |                     if alpha == alpha_ && !t.is_value_at(&stage) {
[INFO] [stdout]     |                                            ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:173:63
[INFO] [stdout]     |
[INFO] [stdout] 173 |                         Ok(CSP(alpha, Box::new(reduce_context(t, &stage, rule)?)))
[INFO] [stdout]     |                                                               ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]    --> src/reduce.rs:183:46
[INFO] [stdout]     |
[INFO] [stdout] 183 |                 App(Box::new(Lam(x, Box::new(ty), Box::new(t2))), Box::new(t1)),
[INFO] [stdout]     |                                              ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]    --> src/reduce.rs:183:60
[INFO] [stdout]     |
[INFO] [stdout] 183 |                 App(Box::new(Lam(x, Box::new(ty), Box::new(t2))), Box::new(t1)),
[INFO] [stdout]     |                                                            ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]    --> src/reduce.rs:183:76
[INFO] [stdout]     |
[INFO] [stdout] 183 |                 App(Box::new(Lam(x, Box::new(ty), Box::new(t2))), Box::new(t1)),
[INFO] [stdout]     |                                                                            ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]    --> src/reduce.rs:188:51
[INFO] [stdout]     |
[INFO] [stdout] 188 |                 let fix = Fix(x.clone(), Box::new(ty), Box::new(t.clone()));
[INFO] [stdout]     |                                                   ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:188:65
[INFO] [stdout]     |
[INFO] [stdout] 188 |                 let fix = Fix(x.clone(), Box::new(ty), Box::new(t.clone()));
[INFO] [stdout]     |                                                                 ^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 188 -                 let fix = Fix(x.clone(), Box::new(ty), Box::new(t.clone()));
[INFO] [stdout] 188 +                 let fix = Fix(x.clone(), Box::new(ty), Box::new(x.clone()));
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/reduce.rs:189:20
[INFO] [stdout]     |
[INFO] [stdout] 189 |                 Ok(t.subst_term(x, fix))
[INFO] [stdout]     |                    ^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 189 -                 Ok(t.subst_term(x, fix))
[INFO] [stdout] 189 +                 Ok(x.subst_term(x, fix))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `cond` in this scope
[INFO] [stdout]    --> src/reduce.rs:191:46
[INFO] [stdout]     |
[INFO] [stdout] 191 |             Ifz(box cond, box t1, box t2) if cond.is_value_at(stage) => {
[INFO] [stdout]     |                                              ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `cond` in this scope
[INFO] [stdout]    --> src/reduce.rs:192:55
[INFO] [stdout]     |
[INFO] [stdout] 192 |                 if let Term::Const(Literal::Int(n)) = cond {
[INFO] [stdout]     |                                                       ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]    --> src/reduce.rs:194:28
[INFO] [stdout]     |
[INFO] [stdout] 194 |                         Ok(t1)
[INFO] [stdout]     |                            ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]    --> src/reduce.rs:196:28
[INFO] [stdout]     |
[INFO] [stdout] 196 |                         Ok(t2)
[INFO] [stdout]     |                            ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `cond` in this scope
[INFO] [stdout]    --> src/reduce.rs:203:41
[INFO] [stdout]     |
[INFO] [stdout] 203 |                 Box::new(reduce_context(cond, stage, rule)?),
[INFO] [stdout]     |                                         ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]    --> src/reduce.rs:204:26
[INFO] [stdout]     |
[INFO] [stdout] 204 |                 Box::new(t1),
[INFO] [stdout]     |                          ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]    --> src/reduce.rs:205:26
[INFO] [stdout]     |
[INFO] [stdout] 205 |                 Box::new(t2),
[INFO] [stdout]     |                          ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `arg_ty` in this scope
[INFO] [stdout]   --> src/type_check.rs:85:38
[INFO] [stdout]    |
[INFO] [stdout] 85 |             env.insert(var.clone(), (arg_ty.clone(), stage.clone()));
[INFO] [stdout]    |                                      ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]   --> src/type_check.rs:86:42
[INFO] [stdout]    |
[INFO] [stdout] 86 |             let ret_ty = type_check_impl(t, stage, &env)?;
[INFO] [stdout]    |                                          ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `arg_ty` in this scope
[INFO] [stdout]   --> src/type_check.rs:89:26
[INFO] [stdout]    |
[INFO] [stdout] 89 |                 Box::new(arg_ty.clone()),
[INFO] [stdout]    |                          ^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]   --> src/type_check.rs:94:38
[INFO] [stdout]    |
[INFO] [stdout] 94 |             let ty = type_check_impl(t1, stage, env)?;
[INFO] [stdout]    |                                      ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]   --> src/type_check.rs:96:46
[INFO] [stdout]    |
[INFO] [stdout] 96 |                 let arg_ty = type_check_impl(t2, stage, env)?;
[INFO] [stdout]    |                                              ^^
[INFO] [stdout]    |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]    |
[INFO] [stdout] 96 -                 let arg_ty = type_check_impl(t2, stage, env)?;
[INFO] [stdout] 96 +                 let arg_ty = type_check_impl(ty, stage, env)?;
[INFO] [stdout]    |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `param_ty` in this scope
[INFO] [stdout]   --> src/type_check.rs:97:31
[INFO] [stdout]    |
[INFO] [stdout] 97 |                 if &arg_ty == param_ty
[INFO] [stdout]    |                               ^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `param_ty` in this scope
[INFO] [stdout]    --> src/type_check.rs:100:33
[INFO] [stdout]     |
[INFO] [stdout] 100 |                         arg_ty, param_ty
[INFO] [stdout]     |                                 ^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `body_ty` in this scope
[INFO] [stdout]    --> src/type_check.rs:103:24
[INFO] [stdout]     |
[INFO] [stdout] 103 |                     Ok(body_ty.clone().subst_term(x.clone(), t2.clone()))
[INFO] [stdout]     |                        ^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]    --> src/type_check.rs:103:62
[INFO] [stdout]     |
[INFO] [stdout] 103 |                     Ok(body_ty.clone().subst_term(x.clone(), t2.clone()))
[INFO] [stdout]     |                                                              ^^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 103 -                     Ok(body_ty.clone().subst_term(x.clone(), t2.clone()))
[INFO] [stdout] 103 +                     Ok(body_ty.clone().subst_term(x.clone(), ty.clone()))
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `param_ty` in this scope
[INFO] [stdout]    --> src/type_check.rs:105:42
[INFO] [stdout]     |
[INFO] [stdout] 105 |                     Err(NotMatch(arg_ty, param_ty.clone(), stage.clone()))
[INFO] [stdout]     |                                          ^^^^^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]    --> src/type_check.rs:109:21
[INFO] [stdout]     |
[INFO] [stdout] 109 |                     t1.clone(),
[INFO] [stdout]     |                     ^^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 109 -                     t1.clone(),
[INFO] [stdout] 109 +                     ty.clone(),
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/type_check.rs:119:38
[INFO] [stdout]     |
[INFO] [stdout] 119 |             let ty = type_check_impl(t, &stage, env)?;
[INFO] [stdout]     |                                      ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/type_check.rs:126:46
[INFO] [stdout]     |
[INFO] [stdout] 126 |                     let ty = type_check_impl(t, &stage, env)?;
[INFO] [stdout]     |                                              ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/type_check.rs:134:36
[INFO] [stdout]     |
[INFO] [stdout] 134 |                         Err(MustBe(t.clone(), ty, stage.clone(), "code".to_string()))
[INFO] [stdout]     |                                    ^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 134 |                         Err(MustBe(ty.clone(), ty, stage.clone(), "code".to_string()))
[INFO] [stdout]     |                                     +
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/type_check.rs:144:38
[INFO] [stdout]     |
[INFO] [stdout] 144 |             let ty = type_check_impl(t, stage, env)?;
[INFO] [stdout]     |                                      ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/type_check.rs:148:65
[INFO] [stdout]     |
[INFO] [stdout] 148 |             if let Type::StageBind(alpha, ty) = type_check_impl(t, stage, env)? {
[INFO] [stdout]     |                                                                 ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/type_check.rs:160:37
[INFO] [stdout]     |
[INFO] [stdout] 160 |                     type_check_impl(t, &stage, env)
[INFO] [stdout]     |                                     ^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]    --> src/type_check.rs:171:50
[INFO] [stdout]     |
[INFO] [stdout] 171 |                 Box::new(Lam(x.clone(), Box::new(ty.clone()), Box::new(t2.clone()))),
[INFO] [stdout]     |                                                  ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]    --> src/type_check.rs:171:72
[INFO] [stdout]     |
[INFO] [stdout] 171 |                 Box::new(Lam(x.clone(), Box::new(ty.clone()), Box::new(t2.clone()))),
[INFO] [stdout]     |                                                                        ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]    --> src/type_check.rs:172:26
[INFO] [stdout]     |
[INFO] [stdout] 172 |                 Box::new(t1.clone()),
[INFO] [stdout]     |                          ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]    --> src/type_check.rs:180:36
[INFO] [stdout]     |
[INFO] [stdout] 180 |             env.insert(x.clone(), (ty.clone(), stage.clone()));
[INFO] [stdout]     |                                    ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t` in this scope
[INFO] [stdout]    --> src/type_check.rs:181:42
[INFO] [stdout]     |
[INFO] [stdout] 181 |             let ret_ty = type_check_impl(t, stage, &env)?;
[INFO] [stdout]     |                                          ^
[INFO] [stdout]     |
[INFO] [stdout] help: a local variable with a similar name exists
[INFO] [stdout]     |
[INFO] [stdout] 181 -             let ret_ty = type_check_impl(t, stage, &env)?;
[INFO] [stdout] 181 +             let ret_ty = type_check_impl(x, stage, &env)?;
[INFO] [stdout]     |
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]    --> src/type_check.rs:182:79
[INFO] [stdout]     |
[INFO] [stdout] 182 |             if input_yes_or_no(&format!("are\n  {} and\n  {}\nsame? (y/n): ", ty, ret_ty)) {
[INFO] [stdout]     |                                                                               ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `ty` in this scope
[INFO] [stdout]    --> src/type_check.rs:185:30
[INFO] [stdout]     |
[INFO] [stdout] 185 |                 Err(NotMatch(ty.clone(), ret_ty, stage.clone()))
[INFO] [stdout]     |                              ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `cond` in this scope
[INFO] [stdout]    --> src/type_check.rs:189:43
[INFO] [stdout]     |
[INFO] [stdout] 189 |             let cond_ty = type_check_impl(cond, stage, env)?;
[INFO] [stdout]     |                                           ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t1` in this scope
[INFO] [stdout]    --> src/type_check.rs:191:43
[INFO] [stdout]     |
[INFO] [stdout] 191 |                 let ty1 = type_check_impl(t1, stage, env)?;
[INFO] [stdout]     |                                           ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `t2` in this scope
[INFO] [stdout]    --> src/type_check.rs:192:43
[INFO] [stdout]     |
[INFO] [stdout] 192 |                 let ty2 = type_check_impl(t2, stage, env)?;
[INFO] [stdout]     |                                           ^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0425]: cannot find value `cond` in this scope
[INFO] [stdout]    --> src/type_check.rs:200:21
[INFO] [stdout]     |
[INFO] [stdout] 200 |                     cond.clone(),
[INFO] [stdout]     |                     ^^^^ not found in this scope
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `exclusive_range_pattern` has been stable since 1.80.0 and no longer requires an attribute to enable
[INFO] [stdout]  --> src/main.rs:2:12
[INFO] [stdout]   |
[INFO] [stdout] 2 | #![feature(exclusive_range_pattern)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] Some errors have detailed explanations: E0425, E0557.
[INFO] [stdout] 
[INFO] [stdout] For more information about an error, try `rustc --explain E0425`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `dtmsc` (bin "dtmsc" test) due to 340 previous errors; 1 warning emitted
[INFO] running `Command { std: "docker" "inspect" "723e173ba27570f6f230aa1172b458339cd1afa7c387b2f5a3fcb1b431ae5bfe", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "723e173ba27570f6f230aa1172b458339cd1afa7c387b2f5a3fcb1b431ae5bfe", kill_on_drop: false }`
[INFO] [stdout] 723e173ba27570f6f230aa1172b458339cd1afa7c387b2f5a3fcb1b431ae5bfe
